📄 tomcat4.conf
字号:
# tomcat /etc/rc.d script example configuration file# Use with version 1.07 of the scripts or later# Where your java installation lives# if unset, the Tomcat init will search for it# JAVA_HOME=/usr/java/jdk# JAVA_HOME="/opt/IBMJava2-13"# JAVA_HOME="/usr/java/j2sdk1.4.0"JAVA_HOME=`ls -1 /usr/java 2>/dev/null | grep j2sdk1.4 | sort -r | head -1`# You can pass some parameters to java# here if you wish to#export CATALINA_OPTS="-Xminf0.1 -Xmaxf0.3"export CATALINA_OPTS="-DTOMCATLAUNCH=true -Xmx128m -Djava.io.tmpdir=/var/tmp -Dorg.xml.sax.driver=org.apache.xerces.parsers.SAXParser"# Where your tomcat installation lives# That change from previous RPM where TOMCAT_HOME # used to be /var/tomcat.# Now /var/tomcat will be the base for webapps onlyexport CATALINA_HOME="@@@TCHOME@@@"export JASPER_HOME="@@@TCHOME@@@"export CATALINA_TMPDIR=/var/log/tomcat4# What user should run tomcatexport TOMCAT_USER="root"# You can change your tomcat locale here#export LANG=en_US# If you wish to further customize your tomcat environment,# put your own definitions here# (i.e. LD_LIBRARY_PATH for some jdbc drivers)# Just do not forget to export them :)
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -