>Che si chiama bash.bashrc.local ed aggiungere la riga che tu mi hai >suggerito...che se non interpreto male metti nella variabile PATH il >valore della path vecchia + la nuova path... Esatto. Inoltre puoi anche settare degli alias etc etc. ciao Stefano