R: [Gulli] Re: mediaWiki e mirror

[Carlo ROATTA]

Stefano Lenzi sembrerebbe aver scritto in data 04/05/2006 23:10:
>Alessandro Guarguaglini wrote:
>  
> ...
>..se Carlo a voglia di aggiungere 2 parole...
>  
Prima di tutto, ringrazio il Guargua ed il Lenzi.
Hanno infatti espresso risposte utili in lista, in grado di far crescere
la competenza di chi li ascolta.

Quanto al problema di "ritagliare via" pezzi di file, il processo
avviato dal Lenzi con sed si proponeva:
1. riconoscere nel file il numero di riga sia dell'inizio che della fine
del segmento da espungere
2. impiegare tali due numeri di riga in un comando sed che "ammazza"
tutte le righe intermedie
3. riportare l'output di sed in un nuovo file, finalmente ottimizzato.

A tale impianto, sono stati aggiunti poi abbellimenti vari, comunque
interessanti.
E' stata una serata interessante, visto che il problema che presentavo è
stato abilmente sfruttato per passare in rassegna vari comandini,
soprattutto del bash (Stefano, passaci il link della formidabile guida
sulla quale hai mosso i tuoi passi).

CR