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
<[email protected]>
Fedora Project Leader
--
devel mailing list
[email protected]
https://lists.fedoraproject.org/admin/lists/[email protected]

Reply via email to