J'ai un programme externe qui produit un fichier de sortie (large, 20K lignes possibles). J'ai besoin d'insérer une nouvelle ligne entre la ligne existante 1 et la ligne 2. J'ai regardé awk et sed - j'utilise un liners dans chacun assez régulièrement - mais je n'ai pas été en mesure de trouver les...