config: warn that changing localRoot will not work currently
authorClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Apr 2018 04:49:10 +0000 (00:49 -0400)
committerClinton Ebadi <clinton@unknownlamer.org>
Sat, 14 Apr 2018 04:49:10 +0000 (00:49 -0400)
config/core/core.sml

index b03556a..0af974d 100644 (file)
@@ -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"