📄 run-checks
字号:
#!/bin/sh## This script runs all the checks given in the command line. See the# README for more info.#rm -f check.log check.log.newfor prog in "$@"do echo -n "Check: $prog..." $prog 2> check.log.new if test ! -s check.log.new then echo " OK." else echo " FAILURE!" echo "Check: $prog" >> check.log cat check.log.new >> check.log fi rm check.log.newdoneif test -s check.logthen echo At least one check failed, see \`check.log\'.else echo All checks OK. rm -f check.logfi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -