+fun readList fname =
+ let
+ val inf = TextIO.openIn fname
+
+ fun loop acc =
+ case TextIO.inputLine inf of
+ NONE => rev acc
+ | SOME line => loop (String.substring (line, 0, size line - 1) :: acc)
+ in
+ loop []
+ before TextIO.closeIn inf
+ end
+
+fun writeList (fname, ls) =
+ let
+ val outf = TextIO.openOut fname
+ in
+ app (fn s => (TextIO.output (outf, s);
+ TextIO.output1 (outf, #"\n"))) ls;
+ TextIO.closeOut outf
+ end
+
+fun lineInFile fname line =
+ let
+ val inf = TextIO.openIn fname
+ val line' = line ^ "\n"
+
+ fun loop () =
+ case TextIO.inputLine inf of
+ NONE => false
+ | SOME line => line = line' orelse loop ()
+ in
+ loop ()
+ before TextIO.closeIn inf
+ end handle IO.Io _ => false
+
+fun inGroup {user, group} =
+ List.exists (fn x => x = user)
+ (Posix.SysDB.Group.members (Posix.SysDB.getgrnam group))
+ handle OS.SysErr _ => false
+
+fun mkDirAll dir = ignore (OS.Process.system ("mkdir -p " ^ dir))
+
+fun remove (ls, x) = List.filter (fn y => y <> x) ls
+fun removeDups ls = List.foldr (fn (x, ls) =>
+ if List.exists (fn y => y = x) ls then
+ ls
+ else
+ x :: ls) [] ls
+