X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/601b43e598710bfd9b29b6f6eb990bd41cc72724..dfd19067c2b670d13415a04291caaa51b025d3d6:/configDefault/firewall.cfg diff --git a/configDefault/firewall.cfg b/configDefault/firewall.cfg index bc089f5..025a0d2 100644 --- a/configDefault/firewall.cfg +++ b/configDefault/firewall.cfg @@ -1,10 +1,10 @@ (* -*- sml -*- *) structure Firewall :> FIREWALL_CONFIG = struct -val firewallRules = "/afs/hcoop.net/common/etc/domtool/firewall/user.rules" -val firewallDir = "/var/domtool/firewall/" -val firewallNodes = ["navajos"] +val firewallRules = ConfigCore.sharedRoot ^ "/firewall/user.rules" +val firewallDir = ConfigCore.localRoot ^ "/firewall/" +val firewallNodes = ["bog", "navajos", "mccarthy"] -val reload = "/usr/bin/sudo /usr/local/sbin/domtool-publish firewall" +val reload = ConfigCore.sudo ^ " " ^ ConfigCore.installPrefix ^ "/sbin/domtool-publish firewall" end