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