📄 ditroff
字号:
#! /bin/csh -fset troff = /usr/local/troff_pset dterm = (/usr/local/dterm -m -c)#! /bin/csh -f These three lines come from Makefile# set troff = /usr/local/troff_p# set dterm = (/usr/local/dterm -m -c)set typesetter = ipset lineprinter = vxif ($?PRINTER) then set typesetter = $PRINTER set lineprinter = $PRINTERendifif ($?TYPESETTER) then set typesetter = $TYPESETTERendifset lpr = /usr/ucb/lprumask 0set flags=() noglob files=() rv1=-rv1unset ttop: if ($#argv > 0) then switch ($argv[1]) case -z: case -a: set flags = ($flags $argv[1]) case -t: set t shift argv goto top case -Pversatec: case -Pvp: case -W: set typesetter = vp unset rv1 shift argv goto top case -Pxerox: case -Ppress: case -Pdp: set typesetter = dp shift argv goto top case -Pipress2: case -Pop: set typesetter = op shift argv goto top case -Pimagen: case -Pip: case -I: set typesetter = ip shift argv goto top case -Pimagen-cx: case -P300: case -Pcx: set typesetter = cx shift argv goto top case -Pter: set typesetter = ter shift argv goto top case -P*: echo "undefined -P typesetter" exit(1) case -: set files = ($files -) shift argv goto top case -*: set flags = ($flags $argv[1]) shift argv goto top default: set files = ($files $argv[1]) shift argv goto top endsw endifset name = ditroffif ($#files > 0) then set name = $files[1]endifif ($?t) then if ($typesetter == ter) then $troff -Pter $rv1 $flags $files | $dterm else $troff -P$typesetter $rv1 $flags $files endifelse if ($typesetter == ter) then $troff -Pter $flags $rv1 $files | $dterm -L | $lpr -P$lineprinter -J$nameelse $troff -P$typesetter $rv1 $flags $files | $lpr -P$typesetter -n -J$nameendif
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -