Ubuntu下更改Tomcat使用的JDK

以前在Ubuntu下安装了JDK 1.6, 现在又装了Jdk 1.7 , 测试一些JDK 1.7 的一些新特性, 然后我原来的Tomcat 是采用的JDK 1.6, 这需要更改到1.7, 正常情况下 Tomcat 会使用我们配置的环境变量:JAVA_HOME 这里面配置的JDK, 当然这种方式你可以修改etc/profile 文件。其实更好的做法是修改 /etc/default/tomcat7 这个文件。

命令：

sudo vim /etc/default/tomcat7

修改内容如下:

#...
 
# The home directory of the Java development kit (JDK). You need at least
# JDK version 1.5. If JAVA_HOME is not set, some common directories for
# OpenJDK, the Sun JDK, and various J2SE 1.5 versions are tried.
#JAVA_HOME=/usr/lib/jvm/openjdk-6-jdk
JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64
 
#...

然后，重启Tomcat 就搞定了。 这里要注意的是，有些人喜欢在“=” 号两边加上一个空格，貌似格式化好看点，如果这样做，在linux shell 中就是错误的表达式，切记.

From：一号门