• [^] # Re: Pas convaincu

    Posté par . En réponse au journal La stratégie de Mozilla pour les jeux vidéo sur le Web ouvert. Évalué à 2.

    Il ne fallait pas le prendre comme ça. Je présume que le ton ne t'a pas plu mais si j'ai pris le temps de pondre deux exemples c'est bien pour illustrer et rien d'autre. Le fait que tu explique qu'il fallait que tu sorte ton compilateur et 200 LOC m'a fait penser que tu imaginer qu'il fallait aller patcher le code de dmenu pour ça. Mes exemples ne sont là que pour montrer qu'il n'était pas nécessaire de modifier dmenu pour lui faire faire ce que tu souhaite.

    Pour le ** c'est une extension de l’expansion de chemin (globbing extended) comme le * bien connu. Il permet d'être récursif, par exemple : grep toto **/machin est équivalent à find -name machin -exec grep toto \{\} \;.

    Les deux ont leur avantages et leur inconvénient. Les globbings étendus sont plus rapides à écrire (ce qui est agréable en mode interactif), mais il peuvent être plus lent (dans l'exemple avec grep le shell commence par créer la liste des chemins de fichier avant d'appeler grep, alors que find appel grep dès qu'il trouve le premier fichier).

    Le shopt c'est juste pour l'activer dans bash.

    Tous les contenus que j'écris ici sont sous licence CC0 (j'abandonne autant que possible mes droits d'auteur sur mes écrits)