J'ai un fichier texte énorme, beaucoup trop gros pour que tout soit mémorisé. Tout ce que je dois faire avec ce fichier texte est d’éditer la première ligne (c’est un fichier CSV et j’ai besoin de modifier les titres).
Y a-t-il un moyen simple de faire cela en bash?
edlin
pour ms-dos ou ed
car Unix ne semblait pas avoir ce problème, mais seulement des éditeurs de ligne ... La RAM était alors une chose rare et précieuse et une taille de fichier en gigaoctets était une chose impossible à croire! ;)
ed
!!! mais ce serait un bon ajustement dans ce cas (je ne suis pas sûr qu'il puisse gérer un fichier de cette taille ...)