By cleaning up my room today, I found out about typos-cli.
I have just installed it via
sudo apt install cargo
cargo install typos-cli
Then adding this to .bashrc
if [ -d "$HOME/.cargo/bin" ] ; then
PATH="$HOME/.cargo/bin:$PATH"
fi
I added it to .profile
first (because .bash_profile
does not
exist), but apparently .profile
isn’t being executed.