Mint中的主目录没有改变

Question

我正在使用Linux mint 18.3。我正在尝试更改Jenkins的主目录。我创建了新目录，复制了旧的所有数据。之后我修改了.profile（把那里导出{{1}}），但没有发生任何事情。

Answer 1

我通过创建文件更改了Jenkins主目录：使用

创建文件：Tomcat / conf / Catalina / localhost / jenkins.xml的路径

<Context>
    <Environment name="JENKINS_HOME" value="path to home directory" type="java.lang.String"/>
</Context>

再次感谢Akos Bannerth。