On 2018-10-01 14:08:17 +0200, Vincent Lefevre wrote: > A possible bug might be that $PAGER is run as a program name, > instead of something like system(), which allows options.
Hmm... I can see in /usr/share/doc/dpkg/changelog.Debian.gz that there have been pager-related changes in dpkg 1.19.1 (26 Sep 2018). The bug might actually be there. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)