Sfortunatamente il nome del computer e il nome dell'host possono andare fuori sincrono. Apri una finestra del terminale e usa
sudo hostname <new hostname>
per cambiare il nome host. Una volta eseguito, cambia la configurazione del sistema, quindi il nuovo nome host sarà lì al riavvio.
Inoltre, tieni presente che alcuni server DHCP assegneranno un nome host. A seconda della rete a cui ci si collega e della configurazione del server DHCP, potrebbe essere necessario lavorare con l'amministratore di rete se è necessario utilizzare un nome host diverso. Non devi preoccuparti di questo per la maggior parte dei router di fascia consumer.