Blame


1 b855148c 2004-05-16 devnull #!/bin/rc
2 b855148c 2004-05-16 devnull # Trivial script for checking and setting the default PostScript font
3 b855148c 2004-05-16 devnull # encoding. Changing the default assumes you can write in $POSTLIB.
4 b855148c 2004-05-16 devnull # Available font encodings are files in $POSTLIB that end in .enc.
5 b855148c 2004-05-16 devnull # The default is $POSTLIB/Default.enc.
6 b855148c 2004-05-16 devnull #
7 b855148c 2004-05-16 devnull
8 b855148c 2004-05-16 devnull POSTLIB=/sys/lib/postscript/prologues
9 b855148c 2004-05-16 devnull DEFAULT=Default.enc
10 b855148c 2004-05-16 devnull CURRENTDEFAULT=Standard
11 b855148c 2004-05-16 devnull
12 b855148c 2004-05-16 devnull if (~ $#* 0) {
13 b855148c 2004-05-16 devnull cd $POSTLIB
14 b855148c 2004-05-16 devnull for (i in *.enc) {
15 b855148c 2004-05-16 devnull if (test -f $i -a $i '!=' $DEFAULT) {
16 b855148c 2004-05-16 devnull NAME=`{echo $i | sed s/\\.enc//}
17 b855148c 2004-05-16 devnull if (cmp $i $DEFAULT >/dev/null >[2]/dev/null) {
18 b855148c 2004-05-16 devnull CURRENTDEFAULT=$NAME
19 b855148c 2004-05-16 devnull }
20 b855148c 2004-05-16 devnull echo $NAME
21 b855148c 2004-05-16 devnull }
22 b855148c 2004-05-16 devnull }
23 b855148c 2004-05-16 devnull echo Standard
24 b855148c 2004-05-16 devnull echo Default'='$CURRENTDEFAULT
25 b855148c 2004-05-16 devnull }
26 b855148c 2004-05-16 devnull if not {
27 b855148c 2004-05-16 devnull switch ($1) {
28 b855148c 2004-05-16 devnull case Default
29 b855148c 2004-05-16 devnull ;
30 b855148c 2004-05-16 devnull case Standard
31 b855148c 2004-05-16 devnull rm -f $POSTLIB/$DEFAULT
32 b855148c 2004-05-16 devnull case *
33 b855148c 2004-05-16 devnull if (test -f $POSTLIB/$1.enc) {
34 b855148c 2004-05-16 devnull rm -f $POSTLIB/$DEFAULT
35 b855148c 2004-05-16 devnull cp $POSTLIB/$1.enc $POSTLIB/$DEFAULT
36 b855148c 2004-05-16 devnull }
37 b855148c 2004-05-16 devnull if not echo unrecognized encoding name $1 >[1=2]
38 b855148c 2004-05-16 devnull }
39 b855148c 2004-05-16 devnull }