1
0
mirror of https://github.com/sharkdp/bat.git synced 2025-01-31 02:01:05 +00:00
Martin Nordholts dd0d44bbb3 Fix #1413 Can't use bat at all! (Error: Use of bat as a pager is disallowed...)
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.
2021-01-11 21:56:10 +01:00
..
2021-01-09 22:35:50 +01:00
2021-01-09 19:43:39 +01:00
2020-09-20 20:47:21 +02:00