Salve a tutti e grazie per le risposte precedenti. Ma la mia fatica per arrivare ad una debian funzionante non è ancora finita. Lo gnome-terminal non mi riconosce le meta-key come la parentesi graffa con alt-7 o le quadre con alt-è. Inoltre sembra che non legga i file .bashrc e .bash_profile che ho messo nella home. Tutti gli alias che ho inserito sono disattivati. Perchè fa così? Grazie ancora e ciao. CLa