bonjour, voila mon problème : j'ai une 100aine de fichiers qui correspondent à des librairies. j'ai besoin d'un seul de ces fichiers, mais je ne sais pas lequel est-ce.
Je ne connais qu'un mot dans le fichier.
donc j'ai essayé pour connaitre le fichier qui m'intéresse de faire :
cat * | grep mot_voulu (en étant dans le bon dossier)
donc là cela m'affiche bien le fichier, seulement c'est son nom que je veux et je ne l'ai pas.
J'ai essayé avec l'option -H de grep sans succès car on me renvois entrée standard (ou un truc du genre) .
Comment puis-je connaitre le nom de ce fichier? merci