GNU bug report logs - #28473
networkmanager hostname woes

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Thomas Danckaert <post <at> thomasdanckaert.be>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#28473: closed (networkmanager hostname woes)
Date: Tue, 19 Sep 2017 18:15:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 19 Sep 2017 20:13:50 +0200 (CEST)
with message-id <20170919.201350.1433221265853950514.post <at> thomasdanckaert.be>
and subject line 
has caused the debbugs.gnu.org bug report #28473,
regarding networkmanager hostname woes
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
28473: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=28473
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Thomas Danckaert <post <at> thomasdanckaert.be>
To: ludo <at> gnu.org, guix-patches <at> gnu.org
Cc: help-guix <at> gnu.org
Subject: Re: networkmanager hostname woes
Date: Sat, 16 Sep 2017 14:03:20 +0200 (CEST)

[Message part 3 (text/plain, inline)]

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

> Thomas Danckaert <post <at> thomasdanckaert.be> skribis:
>
>> From: ludo <at> gnu.org (Ludovic Courtès)
>> Subject: Re: networkmanager hostname woes
>> Date: Thu, 14 Sep 2017 10:17:08 +0200
>>
>>> I don’t understand the logic in there, but a quick fix would be 
>>> to have
>>> ‘network-manager-service-type’ create /etc/hostname.
>>>
>>> What do people think?
>>
>> I agree.  What is the best way to do that?
>>
>>  - make network-manager-service extend etc-service?  I think in 
>> this
>>    case we'd need to pass the host-name to
>>    network-manager-service-type somehow?  It feels strange to make 
>> the
>>    system config's host-name a configuration parameter of
>>    network-manager-service-type just for this reason.
>>
>>  - Create /etc/hosts in network-manager activation, using the 
>> result
>>    of ‘hostname’ at that point?
>>
>>  - ...?
>
> 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

[0001-system-Create-etc-hostname.patch (text/x-patch, inline)]

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)))
        ("localtime" ,(file-append tzdata "/share/zoneinfo/"
                                   (operating-system-timezone os)))
        ("sudoers" ,(operating-system-sudoers-file os))))))
-- 
2.14.1

[Message part 5 (message/rfc822, inline)]

From: Thomas Danckaert <post <at> thomasdanckaert.be>
To: 28473-done <at> debbugs.gnu.org
Date: Tue, 19 Sep 2017 20:13:50 +0200 (CEST)

Previous Next

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