Linux trouve plusieurs noms de fichiers

find /home/my_repo | grep -E "(filename1|name2|filename3)"
VasteMonde