[Top][All Lists]

[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:
>  localhost
>  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

  (hosts-file (local-file (string-append (getenv "HOME")

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




Giovanni Biscuolo

Xelera IT Infrastructures

Attachment: signature.asc
Description: PGP signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]