• [^] # Re: avec echo

    Posté par (site web personnel) . En réponse au message insertion de lignes dans un fichier. Évalué à 5. Dernière modification le 07 février 2017 à 10:53.

    Trois remarques:

    1. Il vaut presque toujours mieux d'utiliser printf au lieu de echo:
    printf '%s\n' "${line}" "ligne_supp1" "ligne_supp2" "ligne_supp3"
    

    Cela évite des mauvaises surprises, si par exemple "${line}" commence par -- ou contient des séquences d'échappement qui, selon le shell utilisé, pourraient être interprétées.
    (À la différence de la fonction C, le programme printf applique périodiquement le format pour épuiser ses arguments.)

    1. Utilsation de cat inutile:
    done < <( cat fichier_origine.txt ) >fichier_final.txt
    

    Que c'est compliqué! On peut écrire

    done < fichier_origine.txt > fichier_final.txt