mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-02-14 17:49:53 +00:00
title, homepage, tagline
| title | homepage | tagline |
|---|---|---|
| bat | https://github.com/sharkdp/bat | bat: A cat(1) clone with syntax highlighting and Git integration. |
Updating bat
webi bat@stable
Use the @beta tag for pre-releases.
Cheat Sheet
batis pretty much whatcatwould 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"
For situations in which you must use cat exactly, remember that you can escape the alias:
\cat foo
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"