Malheureusement, le nom de l'ordinateur et le nom de l'hôte peuvent être désynchronisés. Ouvrez une fenêtre de terminal et utilisez
sudo hostname <new hostname>
pour changer le nom d'hôte. Une fois exécuté, il modifie la configuration du système, de sorte que le nouveau nom d'hôte sera présent lorsque vous redémarrerez.
Sachez également que certains serveurs DHCP attribuent un nom d'hôte. En fonction du réseau auquel vous vous connectez et de la configuration du serveur DHCP, vous devrez peut-être travailler avec l'administrateur réseau si vous devez utiliser un nom d'hôte différent. Vous n'avez pas à vous soucier de ce problème pour la plupart des routeurs grand public.