Repositories managed by GeoServer wither miss their original $HOME/.geogigconfig, or won't be able to create it at tomcat's home (or any other OS user's home the app server is run with).
Make it so the home directory defaults to GEOSERVER_DATA_DIR and prominently configurable in the GeoServer UI alerting that that's the one to be used by all repos and hence care must be taken that the repos don't rely on settings in the home directory of the user that originally created them.
Repositories managed by GeoServer wither miss their original
$HOME/.geogigconfig, or won't be able to create it at tomcat's home (or any other OS user's home the app server is run with).Make it so the home directory defaults to
GEOSERVER_DATA_DIRand prominently configurable in the GeoServer UI alerting that that's the one to be used by all repos and hence care must be taken that the repos don't rely on settings in the home directory of the user that originally created them.