On Thu, Jan 08, 2004 at 12:31:46PM +0100, e.puddu@infinito.it wrote: > Ciao, dopo numerevoli tentativi di modificare /etc/profile > per dare colori alla shell, al boot e a tutte le > applicazioni, non ci sono riuscito... > So che e' una domanda stupida per un'applicazione > stupida, ma mi sapreste dire come fare? scommenta la sezione apposita in .bashrc (o .bash_profile? non ricordo). -- Leonardo Canducci GPG Key ID: 429683DA