3 ms·

For that I like to install ripgrep or `rg` for short, very nice defaults and formats the output nicely too.

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