Ho un enorme file di testo, troppo grande per poter essere impaginato nella memoria. Tutto quello che devo fare con questo file di testo è modificare la prima riga (è un file CSV e devo modificare i titoli).
C'è un modo semplice per farlo in bash?
edlin
per ms-dos o ed
per Unix non sembravano avere questo problema ma dove solo gli editor di riga ... RAM su questi tempi erano una cosa scarsa e preziosa e una dimensione del file in Gigabyte era qualcosa di impossibile da credere! ;)
ed
!!! ma sarebbe una buona scelta in questo caso (non sono sicuro che possa gestire un file di queste dimensioni ...)