⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 psencoding.rc

📁 这是一个同样来自贝尔实验室的和UNIX有着渊源的操作系统, 其简洁的设计和实现易于我们学习和理解
💻 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 + -