Configuration 如何修改defaul graphdb.home目录？

我已经在LinuxMint 19.3中安装了GraphDB Free v9.3。 尽管我还没有创建任何存储库，但工作台运行良好。这是因为我注意到，尽管应用程序安装在/opt/graphdb free，但数据、conf和日志文件都位于我的主文件夹：/home/ianpiper/.graphdb/conf（etc）下的一个隐藏文件夹中

我更愿意将这些文件夹存储在单独的卷上，安装在/mnt/bigdata。在文档中，它建议我可以使用graphdb.properties文件（尽管我的安装中似乎没有这样的文件）或启动脚本来设置graphdb.home。我认为这个脚本可能是/opt/graphdb free/app/bin/setvars.in.sh，我可以用它来改变 -Dgraphdb.home=“” 到 -Dgraphdb.home=“/mnt/bigdata”

知识渊博的人能否就我的理解是否正确提出建议，如果正确，最好的办法是改变graphdb.home的位置

谢谢

---

伊恩。

这是对我问题的更新。我发现Workbench设置对话框允许我设置数据、配置、工作和日志目录。然而，尽管我也为graphdb.home添加了一个设置，但它被忽略了，主文件夹仍然是~/.graphdb。我可以接受这个，但它仍然感觉有点奇怪，所以我想知道如何将主文件夹放在正确的位置。谢谢你在这方面提供的帮助。这是我问题的更新。我发现Workbench设置对话框允许我设置数据、配置、工作和日志目录。然而，尽管我也为graphdb.home添加了一个设置，但它被忽略了，主文件夹仍然是~/.graphdb。我可以接受这个，但它仍然感觉有点奇怪，所以我想知道如何将主文件夹放在正确的位置。谢谢你在这方面提供的任何帮助。