📄 build.sh
字号:
#!/bin/sh# this script is needed to build in development# the path structure differs from the release# so we need to override some propertiesechoecho "Collection samples build"echo "------------------------"if [ "$JAVA_HOME" = "" ] ; then echo "ERROR: JAVA_HOME not found in your environment." echo echo "Please, set the JAVA_HOME variable in your environment to match" echo "the location of the Java Virtual Machine you want to use." exit 1fiSERVER_DIR=../../../serverANT_HOME=${SERVER_DIR}export PATH=${PATH}:${SERVER_DIR}/binexport CLASSPATH=../build/classes:%CLASSPATH%echoecho Starting Ant.... $SERVER_DIR/bin/ozoneAnt -Dozone.dir=${SERVER_DIR} $@
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -