bech

Par rapport à l'idée de Ian22 d'utiliser grep, si on fait la recherche dans un dossier/répertoire particulier, il y a une possibilité en ligne de commandes avec ce qui est disponible d'origine sur Windows 7 On commence à ouvrit une fenêtre DOS en lançant C:\Windows\System32\cmd.exe (le mieux est de se faire un raccourci de cette commande sur le bureau). On se positionne pas le répertoire/dossier ou se trouvent les fichiers dans lesquels on cherche la chaine de caractères. On utilise la commande findstr pour faire la recherche Exemple : findstr mysqli *.php Le résultat est similaire à ce qu'affiche la commande fgrep de GNU/Linux. Dans l'exemple choisi, on trouve les noms de fichier PHP avec toutes les lignes contenant la chaine de caractères mysqli . En tapant help findstr on trouve divers options de fonctionnement de findstr qui permettent de retrouver les possibilités de grep (mais pas egrep à priori).

La solution de super finder est bonne. Il m'a juste fallu le passer en mode "polygamie" pour qu'il fonctionne avec un desktop permettant 4 écrans distincts. Pas plus de 5 minutes pour arranger ça déconnexion et reconnexion comprises. Dans la matinée, j'ai enregistré mes fichier sur une clé USB puis je suis allé dans un autre batiment pour faire une recherche sur Un PC Linux que j'avais préparé l'année dernière. L'autre solution que j'ai employée dans le passé est d'emmener un PC portable personnel sous GNU/Linux au travail pour pouvoir faire ce que je n'arrive pas à faire sous Windows ! Effectivement, une commande comme fgrep (grep, egrep) permet de faire ça en quelques secondes sous GNU/Linux. Mais sous Windows 7, encore fallait-il trouver cmd.exe pour travailler en ligne de commandes. Je viens d'y arriver avec super finder. Bon, je vois qu'il y en a qui râlent (avec juste raison) contre Windows 7, mais Windows 8, c'est infiniment pire (d'ailleurs, faute de savoir réparer celui de mon père je lui ai remis XP (nettement plus rapide avec beaucoup d'espace disque récupéré)). D'après les images d'écran que j'en ai vu, Windows 10 ne devrait pas être mieux : Un truc gadget à la mode téléphone portable qui va prendre quelques centaines de GO sur le disque pour des trucs qu'on n'utilisera jamais alors que ce qui est utile aura disparu depuis longtemps. C'est avec Windows 7 qu'ils ont inauguré cette tendance, mais toutefois, windows 7 reste quand même à peu près utilisable.