Hi, Ricardo Wurmus <rek...@elephly.net> skribis:
> Tobias Geerinckx-Rice <m...@tobias.gr> writes: > >> I *still* think we should either do nothing, or call $PAGER >> automatically when stdout is a TTY. > > We should call $PAGER when it’s set. > > Isn’t there a bug report about this…? I’m noticing this thread just now (oops!) and I think a bug report is in order. I didn’t know there was consensus on invoking $PAGER, but since there is, let’s do that! Ludo’, who would like to not prevent progress. :-)
