X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6e62228d09c5067f798b356b88b0c53190f75729..c17d0537db6e55a6b2bbd1a459542a5fbb44a68f:/src/slave.sig?ds=sidebyside diff --git a/src/slave.sig b/src/slave.sig index 7d78217..9ca0638 100644 --- a/src/slave.sig +++ b/src/slave.sig @@ -56,4 +56,23 @@ signature SLAVE = sig val hostname : unit -> string (* Get hostname of this machine *) + + val readList : string -> string list + val writeList : string * string list -> unit + (* Reading and writing lists of strings stored on separate lines in files *) + + val lineInFile : string -> string -> bool + (* Is there a line in the file (first arg) that matches that given? *) + + val inGroup : {user : string, group : string} -> bool + (* Check membership in a UNIX group. *) + + val mkDirAll : string -> unit + (* [mkDirAll p] creates directory "p", creating all parent directories, as + * necessary. *) + + val remove : ''a list * ''a -> ''a list + val removeDups : ''a list -> ''a list + + val moveDirCreate : { from : string, to : string } -> unit end