X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/92f7d1263e4743bd2f0d44652e0ece57fba16c5a..20f239b6471b8816762cce5cc714449154114397:/config/core/core.sml diff --git a/config/core/core.sml b/config/core/core.sml index b03556a..0af974d 100644 --- a/config/core/core.sml +++ b/config/core/core.sml @@ -1,7 +1,7 @@ structure ConfigCore :> CONFIG_CORE = struct val sharedRoot = "/afs/hcoop.net/common/etc/domtool" -val localRoot = "/var/domtool" +val localRoot = "/var/domtool" (* warning: changing localRoot will likely break things due to scripts directly referencing /var/domtool *) val installPrefix = "/usr/local" val cat = "/bin/cat"