Fonctionnalité de recherche sur les noms de fichier

Bonjour à tous,

Pour la version 1.50, j’ai ajouté une petite fonctionnalité dans l’explorateur de fichiers de GusExplorer, qui permet de rechercher rapidement des fichiers ou répertoires en se basant sur leurs noms.

Il suffit de faire Ctrl-F sur un nœud quelconque de l’arborescence, puis de taper une requête (par exemple *.js pour obtenir tous les fichiers js). Les résultats s’affichent alors en bleu, et leurs répertoires parents s’affichent en gras, avec le nombre de résultats à chaque niveau. On dispose ensuite des commandes alt-Right ou alt-Left pour naviguer d’un résultat à l’autre.

Dans cet exemple, j’ai utilisé la requête server* pour récupérer tout ce qui commence par server (avec sous sans majuscules)

A bientôt !

Augustin

 

 

l’année 2020 est là

Et voilà, nous sommes entrés dans l’année 2020…
Permettez-moi de vous souhaiter plein de belles choses ! (bonheur, santé, prospérité, amitié, …)

En ce qui me concerne, mon objectif n’a pas bougé depuis que j’ai démarré ce blog. Ma motivation a sans doute connu des hauts et des bas, mais peu importe. Dernièrement, j’ai pas mal avancé mes développements sur GusExplorer mais je suis encore loin de pouvoir finaliser la version 1.50. Ce sera pour fin janvier ou début février.

A bientôt !
Augustin