Ripgrep – The Fastest Command Line Search Tool for Linux
jeudi 19 août 2021 à 11:09Tiens il faudra que j'essaie ripgrep, ça a l'air pas mal.
(sudo apt install ripgrep, puis utilisation avec rg)
(Permalink)
(sudo apt install ripgrep, puis utilisation avec rg)
(Permalink)