Я использовал эту процедуру для установки Jenkins:
https://wiki.jenkins-ci.org/display/JENKINS/Installing+Jenkins+on+RedHat+distributions
После его запуска я обнаружил, что раздел /var/lib/jenkins на моем сервере очень маленький. Я хочу переместить его, но я не хочу менять пользователя, с которым он работает. Я новичок в Linux, и я в тупике. Как переместить его, например, в папку Home/Public? У пользователя "Jenkins" нет домашней папки. Его запуск как демон при запуске, поэтому я не знаю, где настроить эти параметры. Могу ли я создать домашнюю папку для пользователя Jenkins? Как?
Я прочитал эту статью:
https://wiki.jenkins-ci.org/display/JENKINS/Administering+Jenkins
но не понимаю, КАК "установить новый дом Дженкинса". Я использовал команду export и перезапустил службу, но старый путь все еще отображается на экранах Manage Jenkins.
Я также прочитал 2-3 похожих вопроса о stackoverflow, но для меня всегда есть недостающая часть. Где найти этот файл, где я постоянно меняю путь?