From 20f239b6471b8816762cce5cc714449154114397 Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Sat, 14 Apr 2018 00:49:10 -0400 Subject: [PATCH] config: warn that changing localRoot will not work currently --- config/core/core.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- 2.20.1