Tiens il faudra que j'essaie ripgrep, ça a l'air pas mal.
(sudo apt install ripgrep, puis utilisation avec rg)
(Permalink)
Ce site n'est pas le site officiel.
C'est un blog automatisé qui réplique les articles automatiquement
Source: https://www.linuxshelltips.com/ripgrep-search-tool-linux/