2 # Trivial script for checking and setting the default PostScript font
3 # encoding. Changing the default assumes you can write in $POSTLIB.
4 # Available font encodings are files in $POSTLIB that end in .enc.
5 # The default is $POSTLIB/Default.enc.
8 POSTLIB=/sys/lib/postscript/prologues
10 CURRENTDEFAULT=Standard
15 if (test -f $i -a $i '!=' $DEFAULT) {
16 NAME=`{echo $i | sed s/\\.enc//}
17 if (cmp $i $DEFAULT >/dev/null >[2]/dev/null) {
24 echo Default'='$CURRENTDEFAULT
31 rm -f $POSTLIB/$DEFAULT
33 if (test -f $POSTLIB/$1.enc) {
34 rm -f $POSTLIB/$DEFAULT
35 cp $POSTLIB/$1.enc $POSTLIB/$DEFAULT
37 if not echo unrecognized encoding name $1 >[1=2]