et avec 'egrep' ça donne quoi?

Retourner au contenu associé (entrée de forum : optimisation d'une commande shell en python (ou en shell))

# et avec 'egrep' ça donne quoi?

Posté par Christophe --- le 26 août 2013 à 22:55. En réponse au message optimisation d'une commande shell en python (ou en shell). Évalué à 2.
Bonjour,

Je n'ai pas les conditions pour reproduire ton cas, mais chez moi:
```
egrep '^..$|^..a$|^..a.b$' /usr/share/dict/* | sort -R | head -1
```
répond en moins de la demi seconde (au total, 501k lignes dans la somme des fichiers sources)