📄 build.sh
字号:
#!/bin/sh# $Id: build.sh,v 1.1 2000/09/27 14:35:55 lars Exp $if [ -z $TOOLS_HOME ] ; then TOOLS_HOME=`dirname $0` export TOOLS_HOME echo "\$TOOLS_HOME is not set. Using $TOOLS_HOME instead."fi. $TOOLS_HOME/bin/toolsEnvANT_HOME=$TOOLS_HOME. `dirname $0`/bin/ant $@#$OZONE_JVM org.apache.tools.ant.Main "$@" -buildfile build.xml
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -