mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-03-03 18:00:18 +00:00
title, homepage, tagline, description
| title | homepage | tagline | description |
|---|---|---|---|
| bat | https://github.com/sharkdp/bat | bat: A cat(1) clone with syntax highlighting and Git integration. | `bat` is pretty much what `cat` would be if it were developed today's in the world of Markdown, git, etc. |
How to run on Windows 10
On Windows 10 you'll get an error like this:
execution cannot proceed run because vcruntime140.dll was not found
You need to download and install the Microsoft Visual C++ Redistributable
How to alias as cat
Update your .bashrc, .zshrc, or .profile
alias cat="bat --style=plain"
How to change the default behavior
Take a look at the config options:
bat --help
Check to see where your config file is:
echo 'N' | bat --generate-config-file
Edit the config file:
~/.config/bat/config:
# no numbers or headers, just highlighting and such
--style="plain"