Install #ripgrep on #ubuntu #cheatsheet
wget https://github.com/BurntSushi/ripgrep/releases/download/13.0.0/ripgrep_13.0.0_amd64.deb -O /tmp/ripgrep.deb sudo dpkg -i /tmp/ripgrep.deb
Mastodon server of https://doma.dev.