inserire linee in un file di testo

[andreadm]

salve,
ho un file prova.txt così:

pippo
topolino

ora devo inserire il seguente testo:
è
il
migliore
amico
di

e ottenere questo:

pippo
è
il
migliore
amico
di
topolino

è fondamentale che il testo che aggiungo sia su righe diverse e non su una singola riga (in quel caso avrei saputo risolvere con sed).

Qualcuno può aiutarmi?

Grazie
Andrea

[YuYevon]

Anche se lo trovo disonorevole, con sed potresti risolvere così

sed -i '/pippo/a\è\nil\nmigliore\namico\ndi' prova.txt

[andreadm]

ok, anche se "poco onorevole" funziona.
ti ringrazio
Andrea

[cacao74]

[cacao74@seraph ~]$ cat > prova.txt << EOT
> pippo
> topolino
> EOT

[cacao74@seraph ~]$ cat > prova2.txt << EOT
> e' il
> migliore
> amico di
> EOT

[cacao74@seraph ~]$ cat prova.txt | sed '/pippo/r prova2.txt'
pippo
e' il
migliore
amico di
topolino

A te l'esercizio di usare solamente "sed" per modificare/aggiornare un file esistente.

ciao