+fun shellOutput ss =
+ let
+ val proc = Unix.execute ("/bin/bash", ["-c", String.concat ss ^ " 2>&1"])
+ val inf = Unix.textInstreamOf proc
+
+ fun loop out =
+ case TextIO.inputLine inf of
+ NONE => String.concat (rev out)
+ | SOME line => loop (line :: out)
+
+ val lines = loop []
+ in
+ print lines;
+ if OS.Process.isSuccess (Unix.reap proc) then
+ NONE
+ else
+ SOME lines
+ end
+