📄 console.sh
字号:
#!/bin/sh
# determine if OS is Cygwin
cygwin=false;
case "`uname`" in
CYGWIN*) cygwin=true ;;
esac
# looks for a jvm at $JAVA_PATH, $JAVA_HOME or $JDK_HOME
if [ ! -z "$JAVA_PATH" ] ; then
java_home=$JAVA_PATH
fi
if [ ! -z "$JAVA_HOME" ] ; then
java_home=$JAVA_HOME
fi
if [ ! -z "$JDK_HOME" ] ; then
java_home=$JDK_HOME
fi
# no environment variable with java path, no game
if [ -z "$java_home" ] ; then
echo ERROR Set JAVA_PATH, JAVA_HOME or JDK_HOME before running this script.
exit 1
fi
# Convert java hom path for Cygwin if necessary
if $cygwin; then
java_home=`cygpath -u "$java_home"`
fi
# no java application at the java path, still no game
if [ ! -x "${java_home}/bin/java" ] ; then
echo ERROR - Set JAVA_PATH, JAVA_HOME or JDK_HOME to the path of a valid jdk.
exit 1
fi
# Set the installation directory for Faces Console
console_home=..
console_lib=${console_home}/com.jamesholmes.console.faces/lib
# Finally set the right classpath
console_classpath=${java_home}/jre/lib/rt.jar:${console_lib}/faces-console.jar:${console_lib}/xerces.jar
# Convert path for Cygwin if necessary
if $cygwin; then
console_classpath=`cygpath -w -p "$console_classpath"`
fi
# and run it
${java_home}/bin/java -classpath "$console_classpath" com.jamesholmes.console.faces.FacesConsole $1
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -