在Linux系统上搭建Tomcat服务器时，一个常见的问题是如何正确配置JRE（Java Runtime Environment）的路径。在Linux下通过环境变量配置JRE的路径是一种比较常见的解决方案，本文将详细介绍如何在Linux系统上配置Tomcat使用正确的JRE路径。

首先，在安装Tomcat之前，确保已经正确安装了JRE。通常情况下，JRE的安装路径为“/usr/lib/jvm/”目录下，可以通过命令“ls /usr/lib/jvm/”来查看JRE的安装目录。

然后，打开Tomcat的配置文件“catalina.sh”，该文件位于Tomcat的bin目录下。在该文件中找到以下代码行：

```bash
# Try to use the JDK supplied JAVA_HOME
if [ -n "$JAVA_HOME" ] ; then
if [ -f "$JAVA_HOME/bin/java" ] ; then
JAVACMD="$JAVA_HOME/bin/java"
else
echo "Neither the JAVA_HOME nor the JRE_HOME environment variable is defined
```

在这段代码中，可以看到Tomcat会首先尝试使用JAVA_HOME环境变量指定的JRE路径，如果未指定则会尝试使用JRE_HOME环境变量指定的路径。如果两者都未定义，则会出现错误提示。

接下来，找到以下代码段：

```bash
# Make sure that the java Home come from the file
if [ -z "$JRE_HOME" ] ; then
##echo "Setting JRE_HOME"
if [ -x /usr/bin/java ]; then
JRE_HOME=/usr
elif [ -x /usr/local/java/bin/java ]; then
JRE_HOME=/usr/local/java
elif [ -x /usr/lib/java/bin/java ]; then
JRE_HOME=/usr/lib/java
elif [ -x /usr/local/j2sdk/bin/java ]; then
JRE_HOME=/usr/local/j2sd
fi
```

在这段代码中，Tomcat会尝试设置JRE_HOME变量的值，如果未指定JRE_HOME环境变量，则会尝试根据一系列可能的JRE安装路径来设置JRE_HOME的值。

为了正确配置Tomcat使用正确的JRE路径，在“catalina.sh”文件中添加以下代码来手动指定JRE_HOME环境变量：

```bash
# Set JRE_HOME
export JRE_HOME=/usr/lib/jvm/jre
```

在这段代码中，我们手动指定了JRE_HOME变量的值为"/usr/lib/jvm/jre"，这里的路径需要根据实际JRE的安装路径来设置。确保JRE_HOME的值正确设置后，保存“catalina.sh”文件。

最后，重启Tomcat服务器以使更改生效。通过命令“sudo service tomcat restart”来重启Tomcat服务器，或者直接运行Tomcat的启动脚本“startup.sh”。在启动Tomcat服务器后，确认JRE路径是否正确配置，可以通过Tomcat的日志文件来查看。

通过以上步骤，我们成功在Linux系统上配置了Tomcat服务器使用正确的JRE路径。正确配置JRE路径可以确保Tomcat服务器正常运行，并且避免因JRE路径错误导致的问题。希望这篇文章能帮助到需要在Linux系统上搭建Tomcat服务器的用户们。