Re: set dnsdomainname

2019-03-06 Thread Marco van Hulten
Je 6 mrt 10:21 skribis Tobias: > Giovanni Biscuolo wrote: > > I'd prefer setting the contents "inline" declaring each hosts > > record... but I don't know how to do it > > Probably easier than you thought! > > (host-name "lapdog.tobias.gr") > ;; This creates a file /gnu/store/…-hosts and

Re: set dnsdomainname

2019-03-06 Thread Tobias Geerinckx-Rice
Giovanni, Marco, Giovanni Biscuolo wrote: I'd prefer setting the contents "inline" declaring each hosts record... but I don't know how to do it Probably easier than you thought! (host-name "lapdog.tobias.gr") ;; This creates a file /gnu/store/…-hosts and links it as /etc/hosts.

Re: set dnsdomainname

2019-03-05 Thread Giovanni Biscuolo
Hi Marco, Marco van Hulten writes: [...] > I found that one can edit /etc/hosts , starting with something like: > > 127.0.0.1 localhost > 127.0.1.1 myhost.mydomain myhost for hosts you have to configure "hosts-file" [1] in your operating-system section I found this in an old

Re: set dnsdomainname

2019-03-05 Thread Marco van Hulten
Je 5 mrt 11:30 skribis Marco: > Hello Guix— > > I want `dnsdomainname` to be set on my system with GuixSD (because it > is used as a destination in my Postfix configuration). How do I go > about this? > > The system with GuixSD gets network information from my Debian 8 server > that runs the

set dnsdomainname

2019-03-05 Thread Marco van Hulten
Hello Guix— I want `dnsdomainname` to be set on my system with GuixSD (because it is used as a destination in my Postfix configuration). How do I go about this? The system with GuixSD gets network information from my Debian 8 server that runs the ISC DHCP server. So I thought the best approach