📄 chk.javafiles
字号:
#!/bin/sh -## $Id: chk.javafiles,v 1.5 2002/01/30 19:50:52 bostic Exp $## Check to make sure we haven't forgotten to add any Java files to the list# of source files in the Makefile.d=../..[ -f $d/LICENSE ] || { echo 'FAIL: cannot find source distribution directory.' exit 1}f=$d/dist/Makefile.inj=$d/java/src/com/sleepycatt1=__1t2=__2find $j/db/ $j/examples $d/rpc_server/java -name \*.java -print | sed -e 's/^.*\///' | sort > $t1tr ' \t' '\n' < $f | sed -e '/\.java$/!d' -e 's/^.*\///' | sort > $t2cmp $t1 $t2 > /dev/null || { echo "<<< java source files >>> Makefile" diff $t1 $t2 exit 1}exit 0
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -