📄 configure.sh
字号:
#!/bin/sh###function help { echo echo $(basename $0) "-option=value ..." echo echo $(basename $0) "-option value ..." echo echo "Options:" echo " jdkhome Example: configure -jdkhome /usr/java/j2sdk1.4.2"}for n in $*do case $n in --help | -help) help exit 0 ;; esac done cd $(dirname $0) if [[ -r build.properties ]]then fname=/tmp/.build.properties$$.tmp grep -v "^[ ]*#" ./build.properties | grep -v ^$ | sed -e 's/\./_DOT_/g' >$fname . $fname rm $fnamefifor n in $* do #if the previous option needs an argument, assign it if [[ -n $previous ]] then eval "$previous=\$n" previous= continue fi optarg=$(expr "x$n" : 'x[^=]*=\(.*\)') case $n in -jdkhome | --jdkhome) previous=jdk_DOT_dir;; -jdkhome=* | --jdkhome=*) jdk_DOT_dir=$optarg;; -*) { echo "$0: Error: unrecognized option $n" >&2 help {(exit 1); exit 1;}; } ;; *=*) eval "$n" ;; *) { echo "$0: error: unrecognized param: $n." >&2 help { (exit 1); exit 1; }; } ;; esacdoneif test -n "$jdk_DOT_dir"; then jdk_DOT_dir=`echo $jdk_DOT_dir|sed -e 's|_DOT_|\.|g'` version=`echo $version|sed -e 's|_DOT_|\.|g'`else which_javac=`which javac 2>/dev/null` if test -n "$which_javac"; then cd `dirname $which_javac`/.. jdk_DOT_dir=$PWD cd - else { echo "$0: error: JAVA_HOME not definedTry \`$0 --help' for more information." >&2 { (exit 1); exit 1; }; } fifiif test -d $jdk_DOT_dir -a -x $jdk_DOT_dir/bin/javac ; then prefix=${prefix:=/usr/local} prefix=$(echo $prefix | sed 's/_DOT_/./g')fnameOld=/tmp/$$build.properties.oldfname=/tmp/$$build.propertiesif [[ -r build.properties ]]thencp -p ./build.properties $fnameOldsed "/^[ ]*# Configured at/c\\\# Configured at $(date)/^[ ]*jdk.dir=/c\\jdk.dir=$jdk_DOT_dir" $fnameOld >$fnamerm build.propertieselse touch $fnameOld touch $fnamefiif ! grep "^[ ]*# Configured on" $fname >/dev/nullthen echo "# Configured at "`date` >build.propertiesfised -e 's|_DOT_|\.|g' $fname >>build.properties( for pName in jdk.dir do value=$(echo $pName | sed "s/\./_DOT_/g") if ! grep "^[ ]*$pName=" $fname >/dev/null then if eval [[ -n \$$value ]] then eval echo "$pName=\$$value" fi fi done)|sed -e 's|_DOT_|\.|g'>>build.propertieschmod a+r build.propertiesrm $fname $fnameOldCLASSPATH=lib/ant.jarCLASSPATH=$CLASSPATH:lib/xercesImpl.jarCLASSPATH=$CLASSPATH:lib/xml-apis.jarCLASSPATH=$CLASSPATH:$jdk_DOT_dir/lib/tools.jarexport CLASSPATHJAVA_HOME=$jdk_DOT_dirPATH=$jdk_DOT_dir/bin:$PATHexport PATHjava org.apache.tools.ant.Main -velse { echo "$0: error: JAVA_HOME=$jdk_DOT_dir not validTry \`$0 --help' for more information." >&2 { (exit 1); exit 1; }; }fi
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -