>> Oui, "." est précisément l'inverse de "^$", d'où la comparaison entre grep . et grep -v "^$"
L'inverse ? Le complément ?
L'inverse de ^$, c'est .+.
L'inverse de « rien, » c'est « au moins un caractère. »
Non ?
(Après, certes, si tu matches un caractère, tu en matches aussi deux... Mais c'est dû au comportement de grep qui ne cherche pas à considérer uniquement les mots du langage qu'on veut matcher comme des lignes lignes entières.)
[^] # Re: Équivalence
Posté par Axioplase ıɥs∀ (site web personnel) . En réponse à la dépêche Sortie de GNU grep 2.7. Évalué à 0.
L'inverse ? Le complément ?
L'inverse de ^$, c'est .+.
L'inverse de « rien, » c'est « au moins un caractère. »
Non ?
(Après, certes, si tu matches un caractère, tu en matches aussi deux... Mais c'est dû au comportement de grep qui ne cherche pas à considérer uniquement les mots du langage qu'on veut matcher comme des lignes lignes entières.)