On Mon, Jun 06, 2016 at 10:12:10PM +0200, Tomasz Torcz wrote: > FWIW Debian disabled this behaviour: > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813164
I kinda think we should too. The difference between tty output and piped output is surprising in exactly the wrong way. -- Matthew Miller <mat...@fedoraproject.org> Fedora Project Leader -- devel mailing list devel@lists.fedoraproject.org https://lists.fedoraproject.org/admin/lists/devel@lists.fedoraproject.org