Re: set dnsdomainname

[Giovanni Biscuolo]

Hi Marco,

Marco van Hulten <address@hidden> 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 thread [2]:

--8<---------------cut here---------------start------------->8---
you can keep your hosts file wherever you want, let's say
"~/my-config/hosts"; and you can add this line to your operating-system
declaration:

  (hosts-file (local-file (string-append (getenv "HOME")
                                         "/my-config/hosts")))

After reconfiguring your system, this file will be put into the store,
and /etc/hosts will have the same contents after reboot.
--8<---------------cut here---------------end--------------->8---

I'd prefer setting the contents "inline" declaring each hosts
record... but I don't know how to do it

HTH!
Giovanni


[1] 
https://www.gnu.org/software/guix/manual/en/html_node/operating_002dsystem-Reference.html#index-hosts-file

[2] https://lists.gnu.org/archive/html/bug-guix/2016-03/msg00114.html

-- 
Giovanni Biscuolo

Xelera IT Infrastructures

signature.asc
Description: PGP signature