diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/tgrind/sysv/tgrind.sh |
Initial commit
Diffstat (limited to 'support/tgrind/sysv/tgrind.sh')
-rw-r--r-- | support/tgrind/sysv/tgrind.sh | 99 |
1 files changed, 99 insertions, 0 deletions
diff --git a/support/tgrind/sysv/tgrind.sh b/support/tgrind/sysv/tgrind.sh new file mode 100644 index 0000000000..a5cf61097f --- /dev/null +++ b/support/tgrind/sysv/tgrind.sh @@ -0,0 +1,99 @@ +#! /bin/sh +# Script to grind nice program listings using TeX. +# +# written Feb, 1985 by Van Jacobson, Lawrence Berkeley Laboratory (adapted +# from the 4.2bsd "vgrind" script). +# +# Translated to Bourne Shell, March 1987, Lou Salkind, New York University +# +# Since TeX output handling is site dependent, you'll have to edit this +# file to get output to your local typesetting device(s). Our site uses +# the flags "-v" (versatec output), "-q" (qms output) and "-o" (keep dvi file) +# to route output. Put something appropriate to your site at the "PUT OUTPUT +# HANDLING..." comment at the end of this script. If you've already dealt +# with this in your local tex command, just change the -v/q/k (or whatever) +# cases in the first "switch" to set variable "texoptions" appropriately. +# +b=/usr/local/lib/tfontedpr +tex=/usr/local/bin/tex +options= +texoptions= +files= +head="" +format="" +output="dvi" +outputfile=tgrind.dvi +expecting=filename + +for A do + case $A in + + -d) + expecting=doptions ;; + + -f) + format="Y" ;; + + -h) + expecting=head ;; + + -o) + output=dvi + expecting=outputfile ;; + +# some sample devices... + -v) + output="ver" ;; + + -q) + output="qms" ;; + + -*) + options="$options $A" ;; + + *) + case $expecting in + outputfile) + outputfile="$A" ;; + head) + head="$A" ;; + doptions) + options="$options -d $A" ;; + filename) + files="$files $A" ;; + esac + expecting=filename ;; + esac +done + +if [ "$format" = "Y" ]; then + if [ "$head" != "" ]; then + $b $options -h "$head" $files + else + $b $options $files + fi + exit 0 +fi + +trap 'rm -f tgrnd$$.tex tgrnd$$.dvi tgrnd$$.log' 0 2 3 15 + +if [ "$head" != "" ]; then + $b $options -h "$head" $files >tgrnd$$.tex +else + $b $options $files >tgrnd$$.tex +fi +$tex $texoptions tgrnd$$.tex + +# PUT OUTPUT HANDLING COMMANDS HERE. +case $output in +ver) + ;; +qms) + ;; +dvi) +# if [ `expr $outputfile : '/*'` -eq 0 ]; then +# outputfile=$mydir/$outputfile +# fi + mv tgrnd$$.dvi $outputfile + ;; +esac |