?? wfcmd.sh
字號(hào):
#!/bin/sh## wfcmd.sh## Launches a shell (command-line tool) to access a worlist## This worklist shell has been finely refactored # and greatly extended by Peter Mayne## $Id: wfcmd.sh,v 1.1 2004/10/30 09:46:50 jmettraux Exp $### DETERMINE OPENWFE_HOMEif [ -z "$OPENWFE_HOME" ]; then OPENWFE_HOME=`echo $0 | sed -e 's/\/[^\/]*$//'` OPENWFE_HOME=${OPENWFE_HOME/bin/} OPENWFE_HOME=`echo $OPENWFE_HOME | sed -e 's/\/$//'` if [ -z "$OPENWFE_HOME" ]; then OPENWFE_HOME=./ fi echo "\$OPENWFE_HOME set to $OPENWFE_HOME" export OPENWFE_HOMEelse echo "\$OPENWFE_HOME found to be set to $OPENWFE_HOME"fi. $OPENWFE_HOME/bin/base.shCLASS=openwfe.org.wlshell.WfCmdCLASSPATH=\$JAVA_HOME/jre/lib/rt.jar:\$JAVA_HOME/lib/tools.jar:\$JARS/jdom.jar:\$JARS/log4j-1.2.5.jar:\$JARS/openwfe-applic.jar:\$JARS/openwfe-engine.jar:\$JARS/openwfe-worklist.jar:\$JARS/openwfe-worklist-shell.jarAPP=wfcmd$JAVA \-Dapp=$APP \$ENCODING \-cp $CLASSPATH \$CLASS $*?? 快捷鍵說(shuō)明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -