On Mon, Dec 09, 2002 at 07:14:42PM +0100, Francesco Potorti` wrote: > Non mi sembra una gran risposta... _redirezionare o ridirezionare_ è un argomento già discusso e ne ho letto le opinioni a riguardo. Ho quindi fatto riferimento alla pagina di manuale italiana di bash, nella quale l'utente potrebbe andare nel caso non conosca "ridirezionare ad un file". -- Alessandro Foresi