2 commits

Author	SHA1	Message	Date
Bruno BELANYI	5dfbb3fb90	[UPDATE][SHELL] BAT_PAGER variable in profile ... I don't want my pager to clobber my terminal once I'm done looking at whatever I was looking at. This also means that I can remove its definition from the `batman` script.	2019-10-18 22:17:20 +02:00
Bruno BELANYI	5f09bfd935	[ADD][SCRIPT] Batman script ... This was shamelessly stolen from the `bat-extras` repository, with a little modification to call the pager with my wanted default options. This obviously depends on the `bat` utility.	2019-10-18 22:17:20 +02:00