1 patch for repository https://darcs.net/screened:
patch f5c898ae646ad951f046aa6d71cb5d4324192ba7
Author: Ben Franksen <ben.franksen@online.de>
Date: Sun Jul 14 20:00:50 CEST 2024
* use colored output when piping it through a pager
I previously had to set DARCS_ALWAYS_COLOR=1 to get colored output when a
pager is invoked, which has become the rule rather than the exception. But
that makes darcs output color codes even when the user redirects the output
to a file, which is not something anybody wants to happen. The trick is to
pass the printers the stdout /before/ we invoke the pager (and ignore the
handle it gets passed later when stdout is the write end of the pipe).
Attachments
|