* /etc/hosts
@ 2018-11-13 15:16 znavko
2018-11-13 15:40 ` /etc/hosts Devan Carpenter
2018-11-13 16:37 ` /etc/hosts Leo Famulari
0 siblings, 2 replies; 3+ messages in thread
From: znavko @ 2018-11-13 15:16 UTC (permalink / raw)
To: Help Guix
[-- Attachment #1: Type: text/plain, Size: 191 bytes --]
Hello, Guix Help! I've added a line in /etc/hosts
5.5.5.5 site.com
But site.com points on its usual ip. Restart wpa_supplicant and restart pc did not help.
How to work with hosts on GuixSD?
[-- Attachment #2: Type: text/html, Size: 341 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: /etc/hosts
2018-11-13 15:16 /etc/hosts znavko
@ 2018-11-13 15:40 ` Devan Carpenter
2018-11-13 16:37 ` /etc/hosts Leo Famulari
1 sibling, 0 replies; 3+ messages in thread
From: Devan Carpenter @ 2018-11-13 15:40 UTC (permalink / raw)
To: znavko; +Cc: Help Guix
There are plenty of reasonable causes for this behaviour, and you can
set your hosts file in the system configuration. However the most simple
solution is chattr. Like so:
1. make your changes to /etc/hosts
2. run (as root) `chattr +i /etc/hosts`
Now the other programs will not be able to edit the file (and neither
will you be able to.)
To make it writable again run `chattr -i /etc/hosts`
Hope this helps!
znavko@tutanota.com transcribed 814 bytes:
> Hello, Guix Help! I've added a line in /etc/hosts
> 5.5.5.5 site.com
>
> But site.com points on its usual ip. Restart wpa_supplicant and restart pc did
> not help.
> How to work with hosts on GuixSD?
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: /etc/hosts
2018-11-13 15:16 /etc/hosts znavko
2018-11-13 15:40 ` /etc/hosts Devan Carpenter
@ 2018-11-13 16:37 ` Leo Famulari
1 sibling, 0 replies; 3+ messages in thread
From: Leo Famulari @ 2018-11-13 16:37 UTC (permalink / raw)
To: znavko; +Cc: Help Guix
[-- Attachment #1: Type: text/plain, Size: 677 bytes --]
On Tue, Nov 13, 2018 at 04:16:23PM +0100, znavko@tutanota.com wrote:
> Hello, Guix Help! I've added a line in /etc/hosts
> 5.5.5.5 site.com
>
> But site.com points on its usual ip. Restart wpa_supplicant and restart pc did not help.
> How to work with hosts on GuixSD?
You can specify your hosts file in your operating system configuration
file ('config.scm'):
https://www.gnu.org/software/guix/manual/en/html_node/operating_002dsystem-Reference.html#index-hosts-file
You can maintain your hosts file "by hand" in, for example,
/etc/my-hosts and refer to it from config.scm like this (untested):
------
(hosts-file (local-file "/etc/my-hosts"))
------
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-11-13 16:37 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-11-13 15:16 /etc/hosts znavko
2018-11-13 15:40 ` /etc/hosts Devan Carpenter
2018-11-13 16:37 ` /etc/hosts Leo Famulari
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.