17 Sep
2010
17 Sep
'10
4:59 p.m.
Excerpts from Simon Marlow's message of Wed Sep 15 10:53:11 -0400 2010:
The System.Cmd API is already OS-dependent in this sense: System.Cmd.system passes the string to /bin/sh on POSIX and cmd.exe on Windows, so Ian's proposal is consistent with that behaviour.
Ah, that's right. Basing this function on the behavior of system() seems like the right thing to do. Edward