|
|
1.1 root 1: #
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:
8: POSTLIB=/usr/lib/postscript
9: DEFAULT=Default.enc
10: CURRENTDEFAULT=
11:
12: case "$1" in
13: Default) ;;
14:
15: Standard)
16: rm -f $POSTLIB/$DEFAULT;;
17:
18: "") cd $POSTLIB
19: for i in *.enc; do
20: if [ -f "$i" -a "$i" != $DEFAULT ]; then
21: NAME=`echo $i | sed s/\\.enc//`
22: if cmp $i $DEFAULT >/dev/null 2>/dev/null; then
23: CURRENTDEFAULT=$NAME
24: fi
25: echo $NAME
26: fi
27: done
28: echo Standard
29: echo "Default=${CURRENTDEFAULT:-Standard}";;
30:
31: *) if [ -f "$POSTLIB/$1.enc" ]
32: then rm -f $POSTLIB/$DEFAULT
33: ln $POSTLIB/$1.enc $POSTLIB/$DEFAULT
34: else echo "unrecognized encoding name $1" >&2
35: fi;;
36: esac
37:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.