From 76a461ff1540807d8beb98c298a8ea0165a6aaa4 Mon Sep 17 00:00:00 2001 From: Thomas Danckaert 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