📄 updatedoc.sh
字号:
#! /bin/sh# updatedoc - put self-docs in su/doc & stripped versions in su/doc/Stripped# Usage: updatedoc# Copyright 1988 by Jack K. Cohen## $Author: jkc $# $Source: /src/su/shell/RCS/updatedoc,v $# $Revision: 1.5 $ ; $Date: 88/06/07 07:20:37 $ROOT=/usr/local/cwpBIN=$ROOT/binSU=$ROOT/src/suSRC=$SU/mainDOC=$SU/docSTRIP=$DOC/StrippedHEAD=$DOC/HeadersPATH=/bin:/usr/bin:$BIN>$STRIP/HEADERS>$HEAD/HEADERSfor i in $SRC/*.cdo name=`basename $i .c` sed -n '/self documentation/,/^$/p' $i | tee $DOC/$name | sed ' /\*\*\*\*\*/d /^char \*sdoc/d /^string sdoc/d /^"\;$/d /^"\\n";$/d /;/d s/[ ]*\\n\\// s/"[ ]*\\n"// s/^" // s/^"// s/[ ]*\\n"// /^$/d ' >$STRIP/$name sed 1q $STRIP/$name >>$HEAD/HEADERSdoneexit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -