Some useful tools I use in my day-to-day, or are trying to get into the habit of using:
I largely live in the terminal, and use a lot of the tools shown below.
For more useful tools, see:
bat
— A better cat
A replacement for cat
, with syntax highlighting, Git integration, and more.
https://github.com/sharkdp/bat
Some configuration tips:
Use as a man
pager:
export MANPAGER="sh -c 'col -bx | bat -l man -p'"