home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 October / usenetsourcesnewsgroupsinfomagicoctober1994disk2.iso / unix / volume17 / pps / pps.sh < prev    next >
Encoding:
Text File  |  1989-02-06  |  1.5 KB  |  85 lines
  1. rcsid='$Header: pps.sh,v 0.0 88/06/22 05:22:29 on Rel $'
  2. #
  3. # Argument processor and handshaker for C to postscript pretty printer
  4. #
  5. lib=.
  6. usage="Usage: $0 [-C font] [-h heder] [-l lang] [-t tabs] [-v pitch] [files]"
  7. init=ppsinit
  8. while [ x"$*" != x ]
  9. do
  10.     case $1 in
  11.         -[ICSK])
  12. :            ${2?$usage}
  13.             if font=`grep -w -i $2 $lib/fonts`
  14.             then
  15.                 font=`echo $font | sed 's/ .*//'`
  16.             else
  17.                 echo ${0}: ${2}: Unknown font 1>&2
  18.                 exit 17
  19.             fi
  20.             pos=`echo $1 | sed 's/-//'`
  21.             init="fonts /$pos /$font put $init"
  22.             shift
  23.             ;;
  24.         -h)
  25. :            ${2?$usage}
  26.             header=`echo "$2" | sed 's/[\\()]/\\\&/g'`
  27.             init="/header ($header) def $init"
  28.             shift
  29.             ;;
  30.         -l)
  31. :            ${2?$usage}
  32.             if [ ! -r $lib/$2 ]
  33.             then
  34.                 echo ${0}: ${2}: Unknown language 1>&2
  35.                 exit 17
  36.             fi
  37.             lang=$2
  38.             shift
  39.             ;;
  40.         -n)
  41.             init="/lineres ${2?$usage} def $init"
  42.             shift;
  43.             ;;
  44.         -p)
  45.             init="/progsize ${2?$usage} def $init"
  46.             shift;
  47.             ;;
  48.         -s)
  49.             if [ ! -r ${2?$usage} ]
  50.             then
  51.                 echo ${0}: ${2} unreadable 1>&2
  52.                 exit 17
  53.             fi
  54.             shift
  55.             ;;
  56.         -t)
  57.             init="/tabstop ${2?$usage} def $init"
  58.             shift;
  59.             ;;
  60.         -v)
  61.             init="/lpi ${2?$usage} def $init"
  62.             shift;
  63.             ;;
  64.         -?*)
  65.             echo $usage 1>&2
  66.             exit 19
  67.             ;;
  68.         *)
  69.             files="$files $1"
  70.             ;;
  71.     esac
  72.     shift
  73. done
  74.  
  75. cat - ${prog-$lib/pps.pro} $style << EOC
  76. %!PS-Adobe-1.0
  77. %%Title: ${files-standard input}
  78. %%Creator: $0 ($rcsid)
  79. %%CreationDate: `date`
  80. %%For: ${USER-unknown}@${HOST-`hostname || uuname -l`}
  81. %%EndComments
  82. EOC
  83. echo $init && ${lib}/${lang=c} $files && echo "%%Trailer
  84. ppsdone"
  85.