domtool-admin regen -tc

[hcoop/domtool2.git] / src / main.sig

diff --git a/src/main.sig b/src/main.sig
index db8eea5..cddbeba 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -21,6 +21,7 @@
 signature MAIN = sig
 
     val init : unit -> unit
+    val setupUser : unit -> string
 
     val check : string -> Env.env * Ast.exp option
     val check' : Env.env -> string -> Env.env
@@ -42,6 +43,7 @@ signature MAIN = sig
     val requestWhoHas : {class : string, value : string} -> string list option
     val requestRmdom : string list -> unit
     val requestRegen : unit -> unit
+    val requestRegenTc : unit -> unit
     val requestRmuser : string -> unit
 
     val requestSlavePing : unit -> OS.Process.status
@@ -72,4 +74,7 @@ signature MAIN = sig
     val requestApt : {node : string, pkg : string} -> OS.Process.status
     val requestCron : {node : string, uname : string} -> OS.Process.status
     val requestFtp : {node : string, uname : string} -> OS.Process.status
+    val requestTrustedPath : {node : string, uname : string} -> OS.Process.status
+    val requestSocketPerm : {node : string, uname : string} -> OS.Process.status
+    val requestFirewall : {node : string, uname : string} -> OS.Process.status
 end