Ciao Corrado, il tuo bashrc e' a posto e, se mi non sbaglio, appartiene a una MDK 90. Ad ogni modo se
export | grep PS1 non restituisce alcun risultato... :-/ fai un'altra semplice prova. Dall'utente che presenta il problema e da uno con la shell "a posto" prova a digitare questi due comandi: echo $SHELL echo $PS1 l'output deve essere lo stesso per entrambi gli utenti. La stessa verifica ti chiedo di farla sui file, se presenti, .bash_profile .bashrc nella home dei due user. Anche in questo caso, a meno di tue personalizzazioni, i due file dovrebbero essere uguali. In attesa di tue notizie. Matteo PS: hai di recente installato qualche software non presente nei CD della distro? Hai modificato le variabili d'ambiente?
