En Linux puedes editar el fichero /etc/hostname
sudo nano /etc/hostname
Simplemente le cambias el nombre y ya lo tienes. Tendrás que reiniciar la máquina.
Si ese fichero no lo encuentras o no se produce el cambio del nombre, inténtalo con el archivo /etc/hosts y tambié n reiniciar la máquina.
Alba
355
9
25
13