On 12/19/06, mm <schneegloeckchen at gmx.li> wrote: > My original intentention was to report a "bug" with ghci. > > GHCi prints its welcome message to stdout instead of stderr. This > makes it hard to use it in scripts :) Disable it with -v0? -- Cheers, Lemmih