OK, grazie, credevo che bastasse usare semplicemente il comando hostname e che lo stesso si occupasse di cambiare il nome il /etc/hostname. Non avevo mai provato a cambiare nome ma adesso so come si fa.