|
Server : Apache/2.2.2 (Fedora) System : Linux App1.pathumtani.go.th 2.6.20-1.2320.fc5smp #1 SMP Tue Jun 12 19:40:16 EDT 2007 i686 User : apache ( 48) PHP Version : 5.2.9 Disable Function : NONE Directory : /proc/self/root/usr/bin/ |
Upload File : |
#!/bin/sh -f # $Id: pv.sh,v 1.3 2002/02/21 21:49:28 giles Exp $ # # pv - preview a specified page of a dvi file in a Ghostscript window # usage: pv page file # # pv converts the given page to PostScript and displays it # in a Ghostscript window. # if [ $# -lt 2 ] ;then echo usage: $0 'page_number file_name[.dvi]' exit 1 fi # # The following line used to appear here: # #RESOLUTION=100 # # But according to Peter Dyballa # <pete@lovelace.informatik.uni-frankfurt.de>, "Modern versions of dvips are # taught to read configuration files which tell them the paths to PK, TFM, # VF and other files for example PostScript font programmes. These files # tell #dvips too which default resolution is used and therefore which # series of PK files (based on 300 DPI or 400 DPI or 600 DPI or even more) # are held on the system." So we have deleted this line, and also removed # the -D switch from the call of dvips below. # TEMPDIR=. PAGE="$1" shift FILE="$1" shift TEMPFILE=`mktemp "$TEMPDIR/$FILE.XXXXXX"` if [ $? -ne 0 ] then exit 1 fi trap 'rm -f "$TEMPFILE"' 0 1 2 15 #dvips -R -D$RESOLUTION -p $PAGE -n 1 $FILE $* -o $FILE.$$.pv dvips -R -p $PAGE -n 1 "$FILE" "$@" -o "$TEMPFILE" gs "$TEMPFILE" exit 0