📄 configure.bat
字号:
@echo offclsrem *********************************************rem * Initialize environment variablesrem *********************************************SET SET_JDKHOME=offSET JDKHOME=%JAVA_HOME%if exist build.properties goto initrem *********************************************rem * Set properties values from user inputrem *********************************************:startif %~1.==. goto makeif %~1==-help goto helpif %~1==-jdkhome goto jdkhomegoto errorrem *********************************************rem * Set default valuesrem *********************************************:defaultSET JDKHOME=%JAVA_HOME%goto makerem *********************************************rem * Init build.properties parametersrem *********************************************:initfind "jdk.dir" < build.properties > javadir.txtfor /F "tokens=1,2* delims==" %%i in (javadir.txt) do SET JDKHOME=%%jdel javadir.txt>nulif "X%JDKHOME%"=="X" goto initjavagoto start:initjavaJDKHOME=%JAVA_HOME%goto startrem *********************************************************rem * Edit parameters (build.properties)rem *********************************************************:makeif exist build.properties del build.propertiesecho jdk.dir=^%JDKHOME%>build.propertiesset OLDCLASSPATH=%CLASSPATH%set OLDPATH=%PATH%set CLASSPATH="%CD%\lib\ant.jar"set CLASSPATH=%CLASSPATH%;"%CD%\lib\xercesImpl.jar"set PATH="%JDKHOME%\bin"java -cp %CLASSPATH% org.apache.tools.ant.Main -DSYSTEMROOT=%SYSTEMROOT%set PATH=%OLDPATH%set CLASSPATH=%OLDCLASSPATH%set OLDCLASSPATH=set OLDPATH=goto endrem *********************************************************rem * Display ERROR messagerem *********************************************************:errorecho.echo Invalid options using with configure.batecho.rem *********************************************************rem * Display HELP messagerem *********************************************************:helpecho.echo Parameters value for using with configure.bat :echo.echo configure - Make build.properties file with default 'jdk.dir' valueecho.echo configure -help - Display this screenecho.echo configure [-jdkhome jdk_home_dir]echo.echo.echo Examples :echo.echo configure -jdkhome C:/j2sdk1.4.2echo.goto endrem *********************************************************rem * Set JDKHOME parameter valuerem *********************************************************:jdkhomeif %SET_JDKHOME%==on goto errorshiftif "X%~1"=="X" goto errorSET JDKHOME=%~f1SET SET_JDKHOME=onshiftif "X%~1"=="X" goto makegoto errorrem *********************************************************rem * Reset evironment variablesrem *********************************************************:endSET JDKHOME=SET SET_JDKHOME=
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -