Tomcat，更改 war 文件的部署目录名称
Tomcat, change name of deploy dir for war file
这可能不是一个困难的问题，但我可能没有正确的术语并且找不到答案。
当我在 Tomcat (7) 中部署一个 war 文件时，例如 myapp-1.0.war，在 webapps 下创建了一个新目录 myapp-1.0。有没有办法更改新目录的名称？例如当我部署 myapp-1.0.war 时，新目录名为 myapp?这是否可以在 war 文件中以某种方式配置？
我通过向 webapps 目录添加一个符号链接并将我的 war 文件放在 appBase 之外的目录中来实现这一点。这样我就能够在 server.xml 中标准化 docBase。现在我所要做的就是在发布新版本时更新符号链接（并可能重新启动服务器）。我的配置发布在另一个问题：
这可能不是一个困难的问题，但我可能没有正确的术语并且找不到答案。
当我在 Tomcat (7) 中部署一个 war 文件时，例如 myapp-1.0.war，在 webapps 下创建了一个新目录 myapp-1.0。有没有办法更改新目录的名称？例如当我部署 myapp-1.0.war 时，新目录名为 myapp?这是否可以在 war 文件中以某种方式配置？
我通过向 webapps 目录添加一个符号链接并将我的 war 文件放在 appBase 之外的目录中来实现这一点。这样我就能够在 server.xml 中标准化 docBase。现在我所要做的就是在发布新版本时更新符号链接（并可能重新启动服务器）。我的配置发布在另一个问题：