Pierre Crescenzo, jeudi 22 novembre 2007, 08:03:34 CET > > Bonjour, ’jour,
> >> En tout cas, je n'ai rien trouvé... Un "find ~ -type f -ls > >> -exec grep -Fi ordinateur {} \; | less" > > > > UUOF : rgrep -i ordinateur ~ | less fait la même chose > > Pas exactement. Ta commande n'agit pas que sur les fichiers > ordinaires, ce qui peut poser problème (si des fichiers sont > des tubes ou des sockets, par exemple). C’est vrai mais des tubes ou des sockets, il n’y en a pas beaucoup dans un ~ en général. > De plus grep -F est > supposé être plus rapide que rgrep (ou grep) parce qu'il > n'utilise pas d'expression rationnelle (mais ce dernier point > est discutable). Surtout discutable avec un « find -exec » :o) > > grep -r == grep. > > Sur mon système (testing à jour), l'option -r de grep n'est > pas activée par défaut. Je ne l'ai d'ailleurs jamais vu > activée par défaut sur aucun système (mais cela ne prouve > rien). C’est ma faute… de frappe : je voulais taper rgrep… > > « Computer » et ne serait-il donc pas trouvé dans la locale > > (donc les .mo de /usr/share/locale/fr/…) ? > > C'est possible. Je ne trouve pas de documentation à ce sujet. >[…] > Cela me semble être la situation la plus probable. Si > quelqu'un connaît cette option ou un autre moyen... Dommage qu’on soit pas demain (Gnome et documentation…). > Merci. > (C'était ma question initiale. :-)) Je lis pas tout non plus, surtout si ça parle Gnome. (Aïe, zut, pas pu résister). >[…] -- Sylvain Sauvage