Ciao.

ho controllato nella home, ma .histfile non c'è. Però  c'è

il file .bash_history che non mi fa aprire perché è in un

formato non riconosciuto.