[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: set dnsdomainname
From: |
Giovanni Biscuolo |
Subject: |
Re: set dnsdomainname |
Date: |
Wed, 06 Mar 2019 08:35:13 +0100 |
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