📄 runcheck.sh
字号:
#!/bin/bashLOG=check.logif [ -z $1 ]; then echo "No name for test-program!" >> $LOG exit 1fiOUTF=check-$1.outERRF=check-$1.errif [ -f $OUTF -a ! -f $OUTF.bak ]; then mv $OUTF $OUTF.bakfiif [ -f $ERRF -a ! -f $ERRF.bak ]; then mv $ERRF $ERRF.bakfi./$1 1> $OUTF 2> $ERRFrc=$?if [ $rc -eq 0 ]; then echo "OK :"$1" ran successfully." | tee -a $LOGelse echo "ERR:"$1" terminated with code "$rc"." | tee -a $LOGfiif [ -f $OUTF -a -f $OUTF.bak ]; then diff $OUTF.bak $OUTF rc=$? if [ $rc -ne 0 ]; then echo " stdout differs from previous run!" | tee -a $LOG else mv $OUTF.bak $OUTF fifiif [ -f $ERRF -a -f $ERRF.bak ]; then diff $ERRF.bak $ERRF rc=$? if [ $rc -ne 0 ]; then echo " stderr differs from previous run!" | tee -a $LOG else mv $ERRF.bak $ERRF fifi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -