📄 psencoding.rc
字号:
#!/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/prologuesDEFAULT=Default.encCURRENTDEFAULT=Standardif (~ $#* 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] }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -