Petite faq concernant sed...

• Générons un fichier de données pour test :

  % cat <<EOF > /TMP/src
  Le tableau de résultats suit :
  <insérer ici les résultats>
  Il précède les commentaires...
  EOF
  

  et un "fichier de substitution" :

  % cat <<EOF > /TMP/aInserer
  12.03  14.78  16.23
  19.34  28.67  39.39
  -0.23  12.34  18.26
  EOF
  

  Appliquons alors une première version de filtre sed :

  % sed '\#<insérer ici les résultats>#r/TMP/aInserer' /TMP/src
  Le tableau de résultats suit :
  <insérer ici les résultats>
  12.03  14.78  16.23
  19.34  28.67  39.39
  -0.23  12.34  18.26
  Il précède les commentaires...
  

  Pour supprimer la ligne à remplacer appliquons une deuxième version de filtre sed :

  % sed -e '\#<insérer ici les résultats>#r/TMP/aInserer' -e '\#<insérer ici les résultats>#d' /TMP/src
  Le tableau de résultats suit :
  12.03  14.78  16.23
  19.34  28.67  39.39
  -0.23  12.34  18.26
  Il précède les commentaires...
  

  Le filtre suivant fait exactement la même chose, il est simplement écrit de manière plus concise :

  % sed -e '\#<insérer ici les résultats>#{r/TMP/aInserer' -e ';d;}' /TMP/src