Ciao Mauro,
sono contento che tu sia riuscito a sistemare il problema. Grazie per aver condiviso la soluzione!
Mirko

On 28 June 2022 17:11:05 UTC, Mauro via SLiP <slip@liszt.softwareliberopinerolo.org> wrote:
Ho cambiato proprietario  e gruppo al file, quindi
da root root è diventato utente utente
(il gruppo e l'utente hanno lo stesso nome)
il comando è:
sudo chown nomeutente.nomegruppo .bash_history

e alla fine i comandi vengono salvati nel file.
Grazie Andrea e anche a Mirko per il tempo dedicato.