On Friday, September 18, 2015 at 12:09:24 AM UTC+2, Donald Allen wrote:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir="ltr"><br><div>I&#39;ve done that. But my point is that the distribution shouldn&#39;t include an indecent pager by default, especially for something as fundamental as man. I installed from <a href="http://repo.voidlinux.eu/live/current/void-live-x86_64-20150713.iso" target="_blank" rel="nofollow" onmousedown="this.href=&#39;http://www.google.com/url?q\75http%3A%2F%2Frepo.voidlinux.eu%2Flive%2Fcurrent%2Fvoid-live-x86_64-20150713.iso\46sa\75D\46sntz\0751\46usg\75AFQjCNGhTa2tcAQxhAjDvbJOXIKfVb2AWA&#39;;return true;" onclick="this.href=&#39;http://www.google.com/url?q\75http%3A%2F%2Frepo.voidlinux.eu%2Flive%2Fcurrent%2Fvoid-live-x86_64-20150713.iso\46sa\75D\46sntz\0751\46usg\75AFQjCNGhTa2tcAQxhAjDvbJOXIKfVb2AWA&#39;;return true;">void-live-x86_64-<wbr>20150713.iso</a> and less was installed. I assume, but don&#39;t know, that it is installed by default by the other live images. But if it isn&#39;t, it should be. Not being able to move around freely in man pages is a real problem, and I think many will not know how to change the pager. And they shouldn&#39;t have to.</div></div></blockquote><div><br>i think that argument could be made for some distributions. <br><br>for a distro like void, a user could be reasonably expected to know how to change their $PAGER or at least learn how to do this.<br><br>--seth<br></div>