What is the debain way to change to hostname of a system. Only editing /etc/hostname is not sufficient, because there are other places where the hostname is stored, e.g. /etc/hosts, /etc/mailname, etc. Should it be done by running base-config? urs