?? src2texi
字號:
#! /bin/sh## Convert a source file to a TeXinfo file. Stolen from glibc.## Usage: src2texi SRCDIR SRC TEXIdir=$1src=`basename $2`texi=`basename $3`sed -e 's,[{}],@&,g' \ -e 's,/\*\(@.*\)\*/,\1,g' \ -e 's,/\* *,/* @r{,g' -e 's, *\*/,} */,' \ -e 's/\(@[a-z][a-z]*\)@{\([^}]*\)@}/\1{\2}/g' \ ${dir}/${src} | expand > ${texi}.newmv -f ${texi}.new ${dir}/${texi}?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -