Hi Thomas!
Thomas Danckaert <p...@thomasdanckaert.be> skribis:
> From: l...@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.dancka...@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’.
