On Thursday, September 17, 2015 at 3:01:46 AM UTC-4, Pierre Bourgin wrote:

I use "less" to display man pages: b, gg, ^d, ^u work as expected (but not ^b ?)

echo export PAGER='less -i' >> ~/.bashrc

Pierre

Good suggestion. That solves this problem. It ought to be the default.