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
+
+fun copyDirCreate {from, to} =
+ (mkDirAll to;
+ if Posix.FileSys.access (from, []) then
+ ignore (OS.Process.system ("cp -r " ^ from ^ " " ^ to))
+ else
+ ())
+
+fun moveDirCreate {from, to} =
+ (mkDirAll to;
+ if Posix.FileSys.access (from, []) then
+ ignore (OS.Process.system ("mv " ^ from ^ " " ^ to))
+ else
+ ())
+
end