From e5888a1ffdae813d7575f5fb02275c6bb07e5199 Mon Sep 17 00:00:00 2001
From: Taru Karttunen <taruti@taruti.net>
Date: Wed, 30 Mar 2011 15:46:40 +0300
Subject: Import sources from 2011-03-30 iso image

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

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

diff --git a/sys/src/cmd/postscript/psencoding/psencoding.rc b/sys/src/cmd/postscript/psencoding/psencoding.rc
new file mode 100755
index 000000000..c0b6aeff9
--- /dev/null
+++ b/sys/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