#!/bin/sh
# printDVI prints a PS file onto a deskjet 500 or 600 printer
#
if test $# -lt 1; then
 echo "Usage: $0 foo.ps  [foo.ps is any POSTSCRIPT file]"
 exit 1
fi
tmp=`file $1`
case "$tmp" in
*PostScript*)
cat $1 | gs -quiet -dNOPAUSE -sDEVICE=djet500 -sOutputFile=/dev/lp1 - ;;
*) echo "Wrong file type - not an ADOBE POSTSCRIPT file"
   echo "$tmp" ;;
esac
