• # sed -i

    Posté par . En réponse au message Tubes : sed vs. grep. Évalué à 2.

    En fait tu as de la chance que ça fonctionne. Pour faire des modifications dans un fichier, utilise l'option -i de sed (qui au passage peut te permettre de faire un backup, cf `man sed `):

    sed -i -e 's~\#include \"fichier.h\"~~g' 1ドル