Il nome host di solito viene scelto al momento dell’installazione, ma per correggerlo in un secondo momento si possono usare i comandi che seguono:
sudo hostnamectl set-hostname nuovonome
e poi aggiornare anche il file /etc/hosts in cui è memorizzato il vecchio nome.
verificato in Linux Mint