mirror of
https://github.com/sharkdp/bat.git
synced 2024-11-30 03:33:54 +01: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. |
||
---|---|---|
.. | ||
benchmarks | ||
examples | ||
mocked-pagers | ||
scripts | ||
snapshots | ||
syntax-tests | ||
utils | ||
.gitattributes | ||
assets.rs | ||
integration_tests.rs | ||
no_duplicate_extensions.rs | ||
snapshot_tests.rs | ||
tester.rs |