1#!/bin/rc 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. 6# 7 8POSTLIB=/sys/lib/postscript/prologues 9DEFAULT=Default.enc 10CURRENTDEFAULT=Standard 11 12if (~ $#* 0) { 13 cd $POSTLIB 14 for (i in *.enc) { 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) { 18 CURRENTDEFAULT=$NAME 19 } 20 echo $NAME 21 } 22 } 23 echo Standard 24 echo Default'='$CURRENTDEFAULT 25} 26if not { 27 switch ($1) { 28 case Default 29 ; 30 case Standard 31 rm -f $POSTLIB/$DEFAULT 32 case * 33 if (test -f $POSTLIB/$1.enc) { 34 rm -f $POSTLIB/$DEFAULT 35 cp $POSTLIB/$1.enc $POSTLIB/$DEFAULT 36 } 37 if not echo unrecognized encoding name $1 >[1=2] 38 } 39} 40