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