在Tomcat中以其他名称部署war文件

Question

我对Tomcat（而不是Tomee）部署有疑问。 我有一个名为 CromeRepoGui.war 的战争文件，我希望将其部署在 / webapps 下的 dev＃repo 文件夹中。

根据链接： Deploying war file to Tomcat with a different path，

我遵循以下步骤， 1）我更改了 / conf 下的 server.xml 并设置

autoDeploy="false" deployOnStartup="false"

2）在war文件（zip文件夹）内的 / META-INF 下添加一个 context.xml 文件，具有以下属性：

 path="/dev/repo"

但是我仍然在 / webapps 中得到一个提取的文件夹 CromeRepoGui ，但没有任何名为 dev＃repo 的提取文件夹。

我的应用程序应以 http://localhost:8080/dev/repo ;

的身份运行

不是， http://localhost:8080/CromeRepoGui 。

我需要在配置中进行哪些其他更改（可能是要在context.xml文件中定义的任何新属性），以便将我的war文件部署到名为 dev＃repo 的单个文件夹中>，而不是战争文件名 / webapps 中的任何 CromeRepoGui 文件夹（避免重复部署）。