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.