Tiens il faudra que j'essaie ripgrep, ça a l'air pas mal.
(sudo apt install ripgrep, puis utilisation avec rg)
(Permalink)