1*7dd7cddfSDavid du Colombier#!/bin/sh -f 2*7dd7cddfSDavid du Colombier# $Id: pv.sh,v 1.1 2000/03/09 08:40:40 lpd Exp $ 3*7dd7cddfSDavid du Colombier# 4*7dd7cddfSDavid du Colombier# pv - preview a specified page of a dvi file in a Ghostscript window 5*7dd7cddfSDavid du Colombier# usage: pv page file 6*7dd7cddfSDavid du Colombier# 7*7dd7cddfSDavid du Colombier# pv converts the given page to PostScript and displays it 8*7dd7cddfSDavid du Colombier# in a Ghostscript window. 9*7dd7cddfSDavid du Colombier# 10*7dd7cddfSDavid du Colombierif [ $# -lt 2 ] ;then 11*7dd7cddfSDavid du Colombier echo usage: $0 'page_number file_name[.dvi]' 12*7dd7cddfSDavid du Colombier exit 1 13*7dd7cddfSDavid du Colombierfi 14*7dd7cddfSDavid du Colombier# 15*7dd7cddfSDavid du Colombier# The following line used to appear here: 16*7dd7cddfSDavid du Colombier# 17*7dd7cddfSDavid du Colombier#RESOLUTION=100 18*7dd7cddfSDavid du Colombier# 19*7dd7cddfSDavid du Colombier# But according to Peter Dyballa 20*7dd7cddfSDavid du Colombier# <pete@lovelace.informatik.uni-frankfurt.de>, "Modern versions of dvips are 21*7dd7cddfSDavid du Colombier# taught to read configuration files which tell them the paths to PK, TFM, 22*7dd7cddfSDavid du Colombier# VF and other files for example PostScript font programmes. These files 23*7dd7cddfSDavid du Colombier# tell #dvips too which default resolution is used and therefore which 24*7dd7cddfSDavid du Colombier# series of PK files (based on 300 DPI or 400 DPI or 600 DPI or even more) 25*7dd7cddfSDavid du Colombier# are held on the system." So we have deleted this line, and also removed 26*7dd7cddfSDavid du Colombier# the -D switch from the call of dvips below. 27*7dd7cddfSDavid du Colombier# 28*7dd7cddfSDavid du ColombierTEMPDIR=. 29*7dd7cddfSDavid du ColombierPAGE=$1 30*7dd7cddfSDavid du Colombiershift 31*7dd7cddfSDavid du ColombierFILE=$1 32*7dd7cddfSDavid du Colombiershift 33*7dd7cddfSDavid du Colombiertrap "rm -rf $TEMPDIR/$FILE.$$.pv" 0 1 2 15 34*7dd7cddfSDavid du Colombier#dvips -D$RESOLUTION -p $PAGE -n 1 $FILE $* -o $FILE.$$.pv 35*7dd7cddfSDavid du Colombierdvips -p $PAGE -n 1 $FILE $* -o $FILE.$$.pv 36*7dd7cddfSDavid du Colombiergs $FILE.$$.pv 37*7dd7cddfSDavid du Colombierexit 0 38