On Fri, 23 Nov 2007 01:20:10 +0100, InSa wrote: > La domanda ora è questa: è il mio pc che inizia ad essere vecchietto per > questo tipo di cose oppure esiste un editor magari più ottimizzato per > la gestione di grossi file? grep e sed non sono una soluzione? Devi proprio aprire tutto il file? -- Best Regards, Jack Linux User #264449 Powered by Debian GNU/Linux on AMD64