Respondendo a minha própria pergunta.
Aparece (de acordo com este e this ) que você só precisa atualizar o / etc / hosts para alterar o nome de domínio especificado durante a instalação em um sistema Debian:
127.0.0.1 localhost
67.228.178.164 mrspock.example-new.com mrspock
Isso deve ser feito. Por favor, corrija-me se estiver errado, mas não consigo encontrar nenhuma outra informação sobre a alteração do nome de domínio. Além disso, hostname -f
produz "mrspock.example-new.com" depois de atualizar o / etc / hosts, como esperado.