GNU bug report logs - #28473
networkmanager hostname woes

Previous Next

Full log

View this message in rfc822 format

From: ludo <at> gnu.org (Ludovic Courtès)
To: Thomas Danckaert <post <at> thomasdanckaert.be>
Cc: help-guix <at> gnu.org, 28473 <at> debbugs.gnu.org
Subject: [bug#28473] networkmanager hostname woes
Date: Tue, 19 Sep 2017 14:06:53 +0200

Hi Thomas!

Thomas Danckaert <post <at> thomasdanckaert.be> skribis:

> From: ludo <at> gnu.org (Ludovic Courtès)
> Subject: Re: networkmanager hostname woes
> Date: Fri, 15 Sep 2017 22:34:44 +0200

[...]

>> Hmm, good points.  Maybe just create /etc/hostname unconditionally
>> from
>> ‘essential-services’?  It can’t hurt, right?
>
> I don't think so, only for people committed to extreme minimalism.
> The attached patch fixes the issue on my system.  Will it do?
>
> Thomas
>
> From 76a461ff1540807d8beb98c298a8ea0165a6aaa4 Mon Sep 17 00:00:00 2001
> From: Thomas Danckaert <thomas.danckaert <at> gmail.com>
> Date: Sat, 16 Sep 2017 13:54:40 +0200
> Subject: [PATCH] system: Create "/etc/hostname".
>
> * gnu/system.scm (operating-system-etc-service): Add a plain-file with the
>   operating-system-host-name.
> ---
>  gnu/system.scm | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/gnu/system.scm b/gnu/system.scm
> index bb7e8531e..2ad4b3054 100644
> --- a/gnu/system.scm
> +++ b/gnu/system.scm
> @@ -642,6 +642,7 @@ fi\n")))
>         ("bashrc" ,#~#$bashrc)
>         ("hosts" ,#~#$(or (operating-system-hosts-file os)
>                           (default-/etc/hosts (operating-system-host-name os))))
> +       ("hostname" ,(plain-file "hostname" (operating-system-host-name os)))

LGTM.  Maybe just add a comment pointing to this discussion, so we know
why this file matters.

Thank you!

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.