Subject: [bug#28473] networkmanager hostname woes

From: [email-masked] (Ludovic Courtès)
Date: Tue, 19 Sep 2017 14:06:53 +0200

Hi Thomas!

Thomas Danckaert <[email-masked]> skribis:

> From: [email-masked] (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 <[email-masked]>
> 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’.