#!/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
