?? ant
字號:
#! /bin/shif [ -f $HOME/.antrc ] ; then . $HOME/.antrcfiif [ "$ANT_HOME" = "" ] ; then # try to find ANT if [ -d /opt/ant ] ; then ANT_HOME=/opt/ant fi if [ -d ${HOME}/opt/ant ] ; then ANT_HOME=${HOME}/opt/ant fi ## resolve links - $0 may be a link to ant's home PRG=$0 progname=`basename $0` while [ -h "$PRG" ] ; do ls=`ls -ld "$PRG"` link=`expr "$ls" : '.*-> \(.*\)$'` if expr "$link" : '.*/.*' > /dev/null; then PRG="$link" else PRG="`dirname $PRG`/$link" fi done ANT_HOME=`dirname "$PRG"`/..fi# Allow .antrc to specifiy flags to java cmdif [ "$JAVACMD" = "" ] ; then JAVACMD=javafi# Use the original tools.jar if availableif [ ! "$JAVA_HOME" = "" ] ; then CLASSPATH=${JAVA_HOME}/lib/tools.jar:$CLASSPATH CLASSPATH=${JAVA_HOME}/lib/classes.zip:$CLASSPATHfiCLASSPATH=${ANT_HOME}/lib/xml.jar:$CLASSPATHCLASSPATH=${ANT_HOME}/lib/ant.jar:$CLASSPATHCLASSPATH=${ANT_HOME}/lib/moo.jar:$CLASSPATHexport CLASSPATH$JAVACMD -Dant.home=${ANT_HOME} org.apache.tools.ant.Main $@?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -