• [^] # Re: grep ?

    Posté par . En réponse au message Pour les pros de SED. Évalué à 2.

    oh, un "Useless Use of cat" !

    grep -v '^000123' file1 > file2
    est suffisant.