X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6e62228d09c5067f798b356b88b0c53190f75729..504618b9ccf4bdbd8b3e27f799770b16c6358a71:/src/slave.sig diff --git a/src/slave.sig b/src/slave.sig index 7d78217..1a11e51 100644 --- a/src/slave.sig +++ b/src/slave.sig @@ -56,4 +56,21 @@ 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 end