From b855148c9b6d28fedfd083d037bcf246f1913d92 Mon Sep 17 00:00:00 2001
From: wkj <devnull@localhost>
Date: Sun, 16 May 2004 07:54:22 +0000
Subject: Checkpoint.

---
 src/cmd/postscript/psencoding/psencoding.rc | 39 +++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 src/cmd/postscript/psencoding/psencoding.rc

(limited to 'src/cmd/postscript/psencoding/psencoding.rc')

diff --git a/src/cmd/postscript/psencoding/psencoding.rc b/src/cmd/postscript/psencoding/psencoding.rc
new file mode 100644
index 00000000..c0b6aeff
--- /dev/null
+++ b/src/cmd/postscript/psencoding/psencoding.rc
@@ -0,0 +1,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]
+	}
+}
-- 
cgit v1.2.3