mirror of
https://github.com/sharkdp/bat.git
synced 2025-01-31 10:11:07 +00:00
dd0d44bbb3
Fixed by implementing the proposal by sharkdp: * Allow PAGER=bat, but ignore the setting in bat and simply default to less. Unless of course, BAT_PAGER or --pager is used to overwrite the value of PAGER. * Disallow the usage of bat within BAT_PAGER and --pager.