Subject: Re: [bug#44663] [PATCH] ui: Launch $PAGER through the shell.

From: Ludovic Courtès <[email-masked]>
Date: Sun, 15 Nov 2020 21:46:27 +0100

Hi,

Tobias Geerinckx-Rice <[email-masked]> skribis:

> This is the convention elsewhere and sounds like the right thing to do.
>
> * guix/ui.scm (call-with-paginated-output-port): Substitute OPEN-PIPE
> for OPEN-PIPE*.
>
> Reported by Daniel Brooks <[email-masked]>.

What’s the rationale though?  Are there cases where this makes a
practical difference?

I’m all for avoiding the shell if there’s no need for it.

Thanks,
Ludo’.