Sous Linux Debian, le nom de machine est déterminé au démarrage grâce au script /etc/init.d/hostname.sh à partir du contenu du fichier /etc/hostname. On peut donc changer très simplement le nom mais aussi le FQDN (fully qualified domain name) de la machine.

Attention, l'ordre dans lequel sont indiqués le FQDN et le nom de la machine est important dans le fichier /etc/hosts.

~$ echo "ma-machine" > /etc/hostname
~$ echo "127.0.0.1 ma-machine.mon-domaine.ext ma-machine localhost" > /etc/hosts
~$ /etc/init.d/hostname.sh

Les commandes suivantes doivent donc donner :

~$ hostname
ma-machine
~$ hostname --fqdn
ma-machine.mon-domaine.ext

L'ancien nom de machine apparaît peut être encore dans le prompt de la ligne de commande. Il suffit de se déconnecter puis de se reconnecter.