bat-extras/doc/batman.md

# bat-extras: batman

A script that allows bat to be used as a manual highlighter.


## Command Line

**Synopsis:**

- `batman [SECTION] [ENTRY] `


## Caveats

None so far.


## Installation

This script is a part of the `bat-extras` suite of scripts. You can find install instructions [here](../README.md#installation).


## Acknowledgements

Thanks to [@sharkdp](https://github.com/sharkdp) and [@LunarLambda](https://github.com/LunarLambda) for debugging how to make this work properly in [certain environments](https://github.com/sharkdp/bat/issues/652).


## Issues?

If you find an issue or have a feature suggestion, make a pull request or issue through GitHub!
Contributions are always welcome.
Added script for using bat with man 2019-09-08 00:19:12 +02:00			`# bat-extras: batman`

			`A script that allows bat to be used as a manual highlighter.`



			`## Command Line`

			`Synopsis:`

			- `batman [SECTION] [ENTRY] `



			`## Caveats`

			`None so far.`



Update documentation to add install instructions for each script 2019-09-18 23:15:45 +02:00			`## Installation`

			This script is a part of the `bat-extras` suite of scripts. You can find install instructions [here](../README.md#installation).



Added script for using bat with man 2019-09-08 00:19:12 +02:00			`## Acknowledgements`

			`Thanks to [@sharkdp](https://github.com/sharkdp) and [@LunarLambda](https://github.com/LunarLambda) for debugging how to make this work properly in [certain environments](https://github.com/sharkdp/bat/issues/652).`



			`## Issues?`

			`If you find an issue or have a feature suggestion, make a pull request or issue through GitHub!`
			`Contributions are always welcome.`