Quand on fait un peu de développement web, et que l’on doit utiliser un CMS, il nous arrive souvent de devoir modifier une chaîne de caractère qui apparaît sur la partie publique sans savoir dans quel fichier php elle se trouve.
Heureusement que le bash est notre ami !

J’utilisais anciennement la commande find comme ceci :

find / -type f | xargs grep "mot"

Finalement, il est encore plus facile et rapide d’utiliser la commande grep :

grep -R "mot" / 

grep donne le même résultat que find, et s’exécute plus rapidement…
Coule !!!