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