Hostnames on GNU/Linux are a complete pain; no-one seems to know how they work and how you should set up your domain name.
This classic Ubuntu
bug
(cf. comments
#3
and
#30
in particular) is an example of this. I still don’t really know what I
should have in /etc/hosts
. The 127.0.1.1
approach looks best.