guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 03/11] linux-boot: Rename /root/etc/dmd directory.


From: Ludovic Courtès
Subject: Re: [PATCH 03/11] linux-boot: Rename /root/etc/dmd directory.
Date: Thu, 28 Jan 2016 11:24:15 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux)

Alex Kost <address@hidden> skribis:

> * gnu/build/linux-boot.scm (mount-root-file-system): Rename
>   "/root/etc/dmd" to "/root/etc/shepherd".

OK!



reply via email to

[Prev in Thread] Current Thread [Next in Thread]