On 2022-04-25 11:39:01 -0400, Haines Brown wrote: > Incidentally, I get > > $ hostname -A > lenin-16.home > > that's strange. Should be lenin.histomat.net
About this point, you should not use "hostname -A", but "hostname -f" (or "hostname --fqdn"). The -A option will just give you the FQDNs associated with configured network interfaces, if any; this isn't much useful. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)