<div dir="auto"><div class="gmail_quote" dir="auto"><div dir="ltr">2018年11月11日(日) 22:42、Colin Law さん（<a href="mailto:clanlaw@gmail.com">clanlaw@gmail.com</a>）のメッセージ:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">To bring this back somewhat to the topic, is there a good reason why<br>
an old version of less is shipped (even with 18.10).<br></blockquote></div><div dir="auto"><br></div><div dir="auto">You mean, besides the general concept of not being too perfect for the market?</div><div dir="auto"><br></div><div dir="auto">;-)</div><div dir="auto"><br></div><div dir="auto">I may have vague memories of having observed a thread on the question.</div><div dir="auto"><br></div><div dir="auto">But I may be confusing it with threads on why less is more. (Really big hint to the OP here.)</div><div dir="auto"><br></div><div dir="auto">Basically, the OP seems to be a lazy (whatever) who wants his world perfect according to his tomorrow's definition yesterday, so that when the boss gives him a problem to solve he can already have it solved. </div><div dir="auto"><br></div><div dir="auto">Life (and standard tools to be called from *sh) are not context free. "Fixing" the behavior of stadard tools like system pagers has a ripple effect, and should generally be held off to see what the consequences are unless there are serious security issues.</div><div dir="auto"><br></div><div dir="auto">If a particular user doesn't like things like the behavior of his system pager's default behaviour, he should use alias -- or other local changes to the shell login script, or local scripts in ${HOME}/bin or such -- to override them. Carefully. And instead of ranting about how everybody else must be wrong, he should ask for help figuring out where and how to tune his own operating environment. </div><div dir="auto"><br></div><div dir="auto">If he produces something that seems to be useful to lots of other users, he might take it to the devs to ask if they are interested in adding it to the default pager. That's basically how more/less got all the optional behaviors they/it have/has now. </div><div dir="auto"><br></div><div class="gmail_quote" dir="auto"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"></blockquote></div></div>