📄 log2pre
字号:
#!/bin/csh# log2pre# Convert a (text) log file to preformatted html.# Needed to work around an IE5 bug that makes it# ignore the MIME type (content-type="text/plain")# and instead try to read the log file as XML if ("$1" == "" || "$2" != "") then echo "usage: $0 <file> | " echo " converts <file>.xxx to <file>.html" exitendifset EXT = ${1:e}if ("$EXT" == ".html" || "$EXT" == ".htm" || "$EXT" == ".HTML" || "$EXT" == ".HTM") then echo "log2pre: Input cannot have html extension, or else it my be overwritten." echo " To use an html file as input, give it a different extension" exitendifif (-e $1.txt) then # .txt extension assumed set N = $1 set IN = $1.txtelse # Full filename given set N = ${1:r} # :r == "root" of file name (name minus extension) \ set IN = $1endifrm -f $N.htmltext2html $IN > $N.html
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -