• [^] # Re: -v

    Posté par . En réponse au message Modification d'un fichier, variable avec awk. Évalué à 3. Dernière modification le 16 avril 2020 à 00:00.

    en fait, BEGIN peut être n'importe où.
    je crois que c'est pour ça que ça s'appelle BEGIN. :)

    $ bash
    $ awk '{ print 0ドル } END{ print "fini" } BEGIN{ print "début" }' <<<"a
    b
    c"
    début
    a
    b
    c
    fini