From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Sat, 14 Apr 2018 04:49:10 +0000 (-0400)
Subject: config: warn that changing localRoot will not work currently
X-Git-Tag: release_20180418~5
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/20f239b6471b8816762cce5cc714449154114397

config: warn that changing localRoot will not work currently
---

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"