📄 wfcmd.sh
字号:
#!/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 $*
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -