Lamentablemente, el nombre del equipo y el nombre del host pueden desincronizarse. Abra una ventana de terminal y use
sudo hostname <new hostname>
para cambiar el nombre de host. Una vez ejecutado, cambia la configuración del sistema, por lo que el nuevo nombre de host estará allí cuando reinicies.
Además, tenga en cuenta que algunos servidores DHCP asignarán un nombre de host. Dependiendo de la red a la que se conecte y de la configuración del servidor DHCP, es posible que deba trabajar con el administrador de la red si necesita usar un nombre de host diferente. No tiene que preocuparse por esto para la mayoría de los enrutadores de grado de consumidor.