Я установил GraphDB Free v9.3 в LinuxMint 19.3. Верстак работает нормально, хотя я еще не создал никаких репозиториев. Это потому, что я заметил, что, хотя приложение установлено в / opt / graphdb-free, файлы данных, conf и журнала находятся в скрытой папке под моей домашней папкой: /home/ianpiper/.graphdb/conf (et c).
Я бы предпочел хранить эти папки на отдельном томе, смонтированном в / mnt / bigdata. В документации говорится, что я могу установить graphdb.home с помощью файла graphdb.properties (хотя у меня, похоже, нет такого файла в моей установке) или в сценарии запуска. Я думаю, что этот сценарий может быть /opt/graphdb-free/app/bin/setvars.in.sh, и я мог бы использовать его, чтобы изменить -Dgraphdb.home = "" на -Dgraphdb. home = "/ mnt / bigdata"
Может ли знающий человек посоветовать, правильно ли я понимаю, и если да, то как лучше всего изменить расположение graphdb.home?
Спасибо,
Ян.