Listing 5. Script vgspreview

#!/bin/sh
# vgspreview -- takes the complete name of a DVI
# output file as its argument and uses ghostscript
# to preview the file in a X window.
dvips -V0 -f <$1 >$1.ps
gs -r72 -sDEVICE=X11 $1.ps