|
|
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.