Am 05.03.2013 21:12, schrieb Lars T. Kyllingstad: > On Monday, 4 March 2013 at 06:51:15 UTC, Lars T. Kyllingstad wrote: >> On Sunday, 3 March 2013 at 11:00:52 UTC, Sönke Ludwig wrote: >>> Mini thing: Redirect.none is not documented >> >> Ok, thanks! > > I ended up simply removing it. There is no point in calling pipeProcess > without any redirection at all. > > Lars
OK, I was actually using pipeShell() with Redirect.none to get the output simply passed on to the console, but I simply overlooked that this is the job of spawnShell().
