3 ms·
Installing the tools you prefer is not always an option, but I agree, ripgrep is great.
by hnarn 5y ago
Installing the tools you prefer is not always an option, but I agree, ripgrep is great.
- alex_smart 5y agoYou can always put some binaries in $HOME/bin.
- hnarn 5y agoYou cannot "always" do this because some of us frequently or occasionally work in environments where external, non-reviewed software simply isn't allowed.