📄 file2html
字号:
#!/bin/csh# file2html# Convert a (text) file to preformatted html & put results on std outif ("$1" == "" || "$2" != "") then echo "usage: $0 <filename> " echo " converts <file>.<ext> to <file>-<ext>.html" exitendifset OLD = $1set DIR = `dirname $OLD` # No ending "/" in the name. => "." if no dirset EXT = ${OLD:e} # No initial period in the extensionset NAME = `basename $OLD .$EXT` # Remove the extension to get the nameset NEW = $DIR/${NAME}-${EXT}.html # Construct the new name from the parts# Work around a shell script bug# --When the text doesn't end in a NL, the last# --line does not get through sedecho "" >> $OLDecho Creating $NEWrm -f $NEWtext2html $OLD > $NEW
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -