📄 setenv.sh
字号:
export JAVA_HOME=/usr/local/jdk1.4export PATH=.:$JAVA_HOME/bin:/usr/local/bin:/usr/bin:/bin:/usr/bin/X11export JBOSS_HOME=/usr/local/jboss-3.2.0export CLASSPATH=.:$JBOSS_HOME/client/jboss-j2ee.jarexport MICO_HOME=/usr/local/micosource $MICO_HOME/lib/mico-setup.sh⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -