📄 toolsenv.bat
字号:
@echo offrem $Id: toolsEnv.bat,v 1.1 2002/05/10 09:02:52 per_nyfelt Exp $if "%TOOLS_HOME%" == "" goto set_homegoto settings:set_homeset CURRENT_DIR=%~dp0SET TOOLS_HOME=%CURRENT_DIR:\bin\=%echo Warning: TOOLS_HOME is not set, guessing it to be %TOOLS_HOME%:settingsSET TOOLS_CLASSPATH=SET LOCALCLASSPATH=%TOOLS_HOME%SET LOCALCLASSPATH=%LOCALCLASSPATH%;%TOOLS_HOME%\samplesSET LOCALCLASSPATH=%LOCALCLASSPATH%;%TOOLS_HOME%\buildfor %%i in (%TOOLS_HOME%\lib\*.jar) do call %TOOLS_HOME%\bin\lcp.bat %%iSET TOOLS_CLASSPATH=%LOCALCLASSPATH%SET LOCALCLASSPATH=:end_of_script
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -