From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#31889: Filesystems must not depend on device mappings?
Date: Thu, 21 Jun 2018 23:55:27 +0200
Message-ID: <87h8lv6bzk.fsf@gnu.org>
References: <CA+LMp4hs3c--1saX+OFVQB05fEViKxWd=a5-NLwGRbOZOABsGQ@mail.gmail.com>
	<87efh1qhs3.fsf@gnu.org> <87efh09dyd.fsf@gmail.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:48459)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fW7Yh-0000r1-1B
	for bug-guix@gnu.org; Thu, 21 Jun 2018 17:56:04 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fW7Yg-00070h-5W
	for bug-guix@gnu.org; Thu, 21 Jun 2018 17:56:03 -0400
Received: from debbugs.gnu.org ([208.118.235.43]:51575)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
	id 1fW7Yg-00070d-3G
	for bug-guix@gnu.org; Thu, 21 Jun 2018 17:56:02 -0400
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1fW7Yf-00019K-Th
	for bug-guix@gnu.org; Thu, 21 Jun 2018 17:56:01 -0400
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-To: bug-guix@gnu.org
Resent-Message-ID: <handler.31889.D31889.15296181374382.done@debbugs.gnu.org>
In-Reply-To: <87efh09dyd.fsf@gmail.com> (Taylan Kammer's message of "Thu, 21
	Jun 2018 20:44:42 +0200")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix/>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: "bug-Guix" <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
To: Taylan Kammer <taylanbayirli@gmail.com>
Cc: 31889-done@debbugs.gnu.org

Hi,

Taylan Kammer <taylanbayirli@gmail.com> skribis:

>      (mapped-devices
>       (list (mapped-device
>              (source (uuid "b3d059f8-1c4f-4569-88dd-5485825b4373"))
>              (target "guixsd")
>              (type luks-device-mapping))
>             (mapped-device
>              (source (uuid "550d9258-bbbb-488c-af27-6b1fefa190ee"))
>              (target "home")
>              (type luks-device-mapping))))
>=20=20=20=20=20=20
>      (file-systems
>       (append
>        (list (file-system
>               (device "/dev/mapper/guixsd")
>               (mount-point "/")
>               (type "ext4")
>               (dependencies mapped-devices))
>              (file-system
>               (device "/dev/mapper/home")
>               (mount-point "/home")
>               (type "ext4")
>               (dependencies mapped-devices)))
>        %base-file-systems))

[...]

> It results in the error message:
>
>     guix system: error: service 'file-system-/home' requires
>     'device-mapping-home', which is not provided by any service

[...]

> It works when both '(dependencies mapped-devices)' clauses are simply
> removed.

Yes, it=E2=80=99s =E2=80=9Cexpected=E2=80=9D: using =E2=80=9C/dev/mapper/xy=
z=E2=80=9D as the device is enough to
express the dependency.

When passing (dependencies mapped-devices), the effect was to each file
system depend on *both* mapped devices.  This leads to an inconsistency
because /dev/mapper/guixsd is =E2=80=9Cneeded-for-boot=E2=80=9D (i.e., set =
up from the
initrd), whereas /dev/mapper/home is not (i.e., set up as a Shepherd
service.)

The solution is to either use the /dev/mapper/xyz names in the =E2=80=98dev=
ice=E2=80=99
field, or to specify only the relevant mapped device in =E2=80=98dependenci=
es=E2=80=99.

Anyway, commit 68a58775e071d4b0e000b93ad121b6e64d161b79 fixes it by
doing exactly what this config asks for: setting up all the mapped
devices in the initrd.

Thanks,
Ludo=E2=80=99.