From debbugs-submit-bounces@debbugs.gnu.org Mon Jun 18 17:12:07 2018 Received: (at submit) by debbugs.gnu.org; 18 Jun 2018 21:12:07 +0000 Received: from localhost ([127.0.0.1]:55373 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fV1RX-0003IZ-65 for submit@debbugs.gnu.org; Mon, 18 Jun 2018 17:12:07 -0400 Received: from eggs.gnu.org ([208.118.235.92]:39424) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fV1RV-0003I5-7F for submit@debbugs.gnu.org; Mon, 18 Jun 2018 17:12:05 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fV1RO-0002F7-Vp for submit@debbugs.gnu.org; Mon, 18 Jun 2018 17:12:00 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=1.0 required=5.0 tests=BAYES_20,FREEMAIL_FROM, FROM_EXCESS_BASE64,HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:57666) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1fV1RO-0002Ef-RW for submit@debbugs.gnu.org; Mon, 18 Jun 2018 17:11:58 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58616) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fV1RN-00050F-N0 for bug-guix@gnu.org; Mon, 18 Jun 2018 17:11:58 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fV1RM-0002CL-Ie for bug-guix@gnu.org; Mon, 18 Jun 2018 17:11:57 -0400 Received: from mail-lf0-x22e.google.com ([2a00:1450:4010:c07::22e]:33823) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fV1RM-0002AW-AQ for bug-guix@gnu.org; Mon, 18 Jun 2018 17:11:56 -0400 Received: by mail-lf0-x22e.google.com with SMTP id v84-v6so3672910lfa.1 for ; Mon, 18 Jun 2018 14:11:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=nSlzelYXVGjZKahb29dRcyB8BCShPPF9vGh6ou8nD1I=; b=YK889EZiZFhuexQpYElfAz2g92soI9BJbmugw/YZpg9NZ8UaFFEVeGaqMY5jMahgbR azNCSnWOifvinV0L4rPpJk4V61+XHOGqlwq3AAzkDwFMFlj8nAGkALijiccb4/jVO39U LCptDm0RUAGck7yVVh4wmrStTGOQCLW2Zt/t7tpqRe+mw/kJrSceUkTFPs4OAOO084QL 1uHR7XQBLAQp893cngwRBW1x98Bj0/9QnyY1rtraa0bQoD2IJVjopizltRzk0njGNNA0 kXvi550gncY3tbqP/NRpqLuuZFgDOBpwYWf5dR4LtwYSN2ojG/1jGc1yKnW8P9vM2Lrq H6VA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=nSlzelYXVGjZKahb29dRcyB8BCShPPF9vGh6ou8nD1I=; b=j1H9/0k/aRmLc7Yi8ScDrlRN9AOmhFundsZcg700Iq9/te0EIQrPedpi9wxoMo2DYR jERWbejINq0MhpnzDQY38vFM8aef+Q82TV/HEDC6BPblr67dr3hmM1sIMzyDz2+6zq+w QK7RiOkARUZB7G66BGLOgIeWkMdGbh9R3O8rtHlW3mN05lmBIxpVEMEhG0XbwCVmvrGZ O6Em6GJR1fKYnxRLjPno5FATMbrAmYwpfoxoKr/TT/5ilLWQeFp1JRYyPQLSDJ3gWkpk 1SeSIWwX7Dh71vEYoOtPUVX1Et0J6WOtJ3i+n2aGgT45UM0EuyRyP2Q60x0ytqOsyrM1 vRLg== X-Gm-Message-State: APt69E0W2lhNC08mZaMcUfwP10uWHHfK3f9pWSHQEYy5YABNJPBLyqJE sQraxcOiZ2LMgtkmxa3d+1RLVDYqwPYoEUVHXfHgeA== X-Google-Smtp-Source: ADUXVKJvnvofEdCBv7PwRjwL3hig+eA4JMVGJUV4BLS1EimGLs+y0GFpXVnCN9InFmIWDAGFzbUECMOh2RXjt2ApuL8= X-Received: by 2002:a19:f24e:: with SMTP id d14-v6mr8859805lfk.18.1529356314886; Mon, 18 Jun 2018 14:11:54 -0700 (PDT) MIME-Version: 1.0 Received: by 2002:a2e:2c13:0:0:0:0:0 with HTTP; Mon, 18 Jun 2018 14:11:54 -0700 (PDT) From: =?UTF-8?B?VGF5bGFuIFVscmljaCBCYXnEsXJsxLEvS2FtbWVy?= Date: Mon, 18 Jun 2018 23:11:54 +0200 Message-ID: Subject: Filesystems must not depend on device mappings? To: bug-guix@gnu.org Content-Type: multipart/alternative; boundary="000000000000e246a5056ef1038e" X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -3.9 (---) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.9 (----) --000000000000e246a5056ef1038e Content-Type: text/plain; charset="UTF-8" If in my OS config I define some luks mappings, and define the corresponding filesystems with dependencies on the mapped devices, I get an error on 'guix system reconfigure'. Example: (operating-system ... (mapped-devices (list (mapped-device ... (target "root")))) (file-systems (list (file-system (mount-point "/") ... (dependencies mapped-devices)))) ...) This will yield an error like: file-system-/ depends on device-mapping-root, which is not provided by any service Funnily enough, one only needs to remove the 'dependencies' field to make it work. But this contradicts the example at: https://www.gnu.org/software/guix/manual/html_node/Using-the-Configuration-System.html Taylan --000000000000e246a5056ef1038e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
If in my OS config I define some luks mappings, and define= the
corresponding filesystems with dependencies on the mapped devices,<= br>I get an error on 'guix system reconfigure'.

Example:
=
=C2=A0 (operating-system
=C2=A0=C2=A0=C2=A0 ...
=C2=A0=C2=A0=C2= =A0 (mapped-devices
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 (list (mapped-device = ... (target "root"))))
=C2=A0=C2=A0=C2=A0 (file-systems
=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0 (list (file-system (mount-point "/")<= br>=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ..= .
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= (dependencies mapped-devices))))
=C2=A0=C2=A0=C2=A0 ...)

This wi= ll yield an error like:

=C2=A0 file-system-/ depends on device-mappi= ng-root, which is not
=C2=A0 provided by any service

Funnily enou= gh, one only needs to remove the 'dependencies' field to
make it= work.=C2=A0 But this contradicts the example at:

https://www.gnu.org/software/guix/manual/html_node/Using-the-Configur= ation-System.html


Taylan
--000000000000e246a5056ef1038e-- From debbugs-submit-bounces@debbugs.gnu.org Wed Jun 20 17:17:58 2018 Received: (at 31889) by debbugs.gnu.org; 20 Jun 2018 21:17:58 +0000 Received: from localhost ([127.0.0.1]:58007 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fVkUI-0004Gs-89 for submit@debbugs.gnu.org; Wed, 20 Jun 2018 17:17:58 -0400 Received: from eggs.gnu.org ([208.118.235.92]:56752) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fVkUG-0004Ge-1v for 31889@debbugs.gnu.org; Wed, 20 Jun 2018 17:17:56 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fVkUA-0007xF-3C for 31889@debbugs.gnu.org; Wed, 20 Jun 2018 17:17:50 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:34888) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fVkU9-0007xA-VY; Wed, 20 Jun 2018 17:17:50 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=41866 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fVkU9-0001o9-JG; Wed, 20 Jun 2018 17:17:49 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Taylan Ulrich =?utf-8?Q?Bay=C4=B1rl=C4=B1=2FKammer?= Subject: Re: bug#31889: Filesystems must not depend on device mappings? References: X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 2 Messidor an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Wed, 20 Jun 2018 23:17:48 +0200 In-Reply-To: ("Taylan Ulrich \=\?utf-8\?Q\?\=5C\=22Bay\=C4\=B1rl\=C4\=B1\=2FKammer\=5C\=22\=22's\?\= message of "Mon, 18 Jun 2018 23:11:54 +0200") Message-ID: <87efh1qhs3.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31889 Cc: 31889@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hi! Taylan Ulrich "Bay=C4=B1rl=C4=B1/Kammer" skribis: > If in my OS config I define some luks mappings, and define the > corresponding filesystems with dependencies on the mapped devices, > I get an error on 'guix system reconfigure'. > > Example: > > (operating-system > ... > (mapped-devices > (list (mapped-device ... (target "root")))) > (file-systems > (list (file-system (mount-point "/") > ... > (dependencies mapped-devices)))) > ...) > > This will yield an error like: > > file-system-/ depends on device-mapping-root, which is not > provided by any service Could you show the complete =E2=80=98mapped-devices=E2=80=99 and =E2=80=98f= ile-systems=E2=80=99 fields, without ellipses? The message above suggests that =E2=80=9C/=E2=80=9D was not considered as needed-for-boot. Thanks, Ludo=E2=80=99. From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 21 12:44:52 2018 Received: (at 31889) by debbugs.gnu.org; 21 Jun 2018 16:44:52 +0000 Received: from localhost ([127.0.0.1]:59327 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fW2hY-0004aJ-5y for submit@debbugs.gnu.org; Thu, 21 Jun 2018 12:44:52 -0400 Received: from mail-wm0-f53.google.com ([74.125.82.53]:33801) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fW2hW-0004a4-VO for 31889@debbugs.gnu.org; Thu, 21 Jun 2018 12:44:51 -0400 Received: by mail-wm0-f53.google.com with SMTP id l15-v6so3843765wmc.1 for <31889@debbugs.gnu.org>; Thu, 21 Jun 2018 09:44:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=FoxDmLKZrrhcGhMUZmPT2f52q1u4GscevZaHv0rfMUw=; b=lojLnnFeaVBZVZtM6KF6Mv4/F0JsjGN1F7mTM88mXvHYawsM7slf45MqeMfBrrpJsk Zoc5y98aKqu+JvKXGyiuFXW9S1D49zen7PK+QsJDrLw8VHYsHGMjZkJt9TElUbf1x+/M K8YGwk3oOeonSd15MTOn11eRVKfqrb4WVfurLHuRDypWj/Xb0XHk6drVp/gJ9evJ6PQR KD14gCViqKIyL32yObLMMKfFfFIHs2Ibr+tJpdeTUGAXSScVm7nycxqlJzsOOPYPD0iO uJ3cly1aZ7uENi+OWRX1qyhZqJngfu0Rf5ewwYkwSiHvkcIACmNISATUuORiIfvvFxuj 94eA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=FoxDmLKZrrhcGhMUZmPT2f52q1u4GscevZaHv0rfMUw=; b=IGDNud2wUM4aZfM39/B5rjUoF0cVoS4TaG5r3yMreWPUSLIZ2jDCVyqyJwdER54ElC PawSJX1XQ/ljcgiiaGXtkJZuUBG8anQnXRRPpbR+S1cjZ1tq5TzDL5ltSadz2OxHE8zu s6oTbKT93vDGXSsY93HwaW85psAWSRPONx7Sd7yIzXiZYV5vpsnqq+4Borr+GCxGa0O2 +0r9LciDsE4Gdch9mPQrYDcCJDtWOgaC6yCWnyrKEzz/v6yOyerrdF82jttqC/82g/Je lmKLe9g1tkvvWpwiRBWhZ6qgX7slC0RhxOfSNFId9K7LhaIHzxhDAIw75X7bWj3JN3Pt Dk4w== X-Gm-Message-State: APt69E2XfWlcWc6XNKPyR21/HsqcXtY0EFKA/Jt1FHx4Sj2AWWbglD8q //RcV3vUnbWfWjZrOmMKI3dRlQ== X-Google-Smtp-Source: ADUXVKJgN+6uTjYF+x1uJlHEFXzsHbICjOGyZYO1Y+frzZxsTsCF6ASo0yZE6164T3jZCyfi6CKgSg== X-Received: by 2002:a1c:4a16:: with SMTP id x22-v6mr5366979wma.122.1529599485033; Thu, 21 Jun 2018 09:44:45 -0700 (PDT) Received: from guixsd ([2a02:908:c35:b420:7fc7:951d:d3f1:148f]) by smtp.gmail.com with ESMTPSA id e63-v6sm8957572wma.46.2018.06.21.09.44.43 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Thu, 21 Jun 2018 09:44:43 -0700 (PDT) From: Taylan Kammer To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: bug#31889: Filesystems must not depend on device mappings? References: <87efh1qhs3.fsf@gnu.org> Date: Thu, 21 Jun 2018 20:44:42 +0200 In-Reply-To: <87efh1qhs3.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Wed, 20 Jun 2018 23:17:48 +0200") Message-ID: <87efh09dyd.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 31889 Cc: 31889@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hi! > > Taylan Ulrich "Bay=C4=B1rl=C4=B1/Kammer" skribi= s: > >> If in my OS config I define some luks mappings, and define the >> corresponding filesystems with dependencies on the mapped devices, >> I get an error on 'guix system reconfigure'. >> >> Example: >> >> (operating-system >> ... >> (mapped-devices >> (list (mapped-device ... (target "root")))) >> (file-systems >> (list (file-system (mount-point "/") >> ... >> (dependencies mapped-devices)))) >> ...) >> >> This will yield an error like: >> >> file-system-/ depends on device-mapping-root, which is not >> provided by any service > > Could you show the complete =E2=80=98mapped-devices=E2=80=99 and =E2=80= =98file-systems=E2=80=99 fields, > without ellipses? > > The message above suggests that =E2=80=9C/=E2=80=9D was not considered as > needed-for-boot. > > Thanks, > Ludo=E2=80=99. Sorry, looks like my example was wrong. Here is a problematic OS declaration: (operating-system (host-name "guixsd") (timezone "Europe/Berlin") (locale "en_US.utf8") =20=20=20=20=20 (bootloader (bootloader-configuration (bootloader grub-bootloader) (target "/dev/sda"))) =20=20=20=20=20 (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 (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)) =20=20=20=20=20 (users (append (list (user-account (name "taylan") (comment "Taylan Kammer") (group "users") (supplementary-groups '("wheel" "netdev" "audio" "video")) (home-directory "/home/taylan"))) %base-user-accounts)) =20=20=20=20=20 (packages %base-packages) (services %desktop-services) =20=20=20=20=20 ;; Allow resolution of '.local' host names with mDNS. (name-service-switch %mdns-host-lookup-nss)) It results in the error message: guix system: error: service 'file-system-/home' requires 'device-mapping-home', which is not provided by any service (I also got that for '/' rather than '/home' at some point, but can't remember under what conditions.) It works when both '(dependencies mapped-devices)' clauses are simply removed. All in all I can't really figure out the logic behind the whole thing and what exactly is expected. I think the error reporting and relevant section of the documentation may need some improvement. Taylan From debbugs-submit-bounces@debbugs.gnu.org Thu Jun 21 17:55:37 2018 Received: (at 31889-done) by debbugs.gnu.org; 21 Jun 2018 21:55:37 +0000 Received: from localhost ([127.0.0.1]:59471 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fW7YG-00018c-TO for submit@debbugs.gnu.org; Thu, 21 Jun 2018 17:55:37 -0400 Received: from eggs.gnu.org ([208.118.235.92]:57361) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fW7YF-00018O-1i for 31889-done@debbugs.gnu.org; Thu, 21 Jun 2018 17:55:35 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fW7Y9-0006mj-8Q for 31889-done@debbugs.gnu.org; Thu, 21 Jun 2018 17:55:29 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=disabled version=3.3.2 Received: from fencepost.gnu.org ([2001:4830:134:3::e]:56377) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fW7Y9-0006md-4v; Thu, 21 Jun 2018 17:55:29 -0400 Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=37752 helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) (envelope-from ) id 1fW7Y8-00050K-Mh; Thu, 21 Jun 2018 17:55:28 -0400 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) To: Taylan Kammer Subject: Re: bug#31889: Filesystems must not depend on device mappings? References: <87efh1qhs3.fsf@gnu.org> <87efh09dyd.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: 3 Messidor an 226 de la =?utf-8?Q?R=C3=A9volution?= X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Thu, 21 Jun 2018 23:55:27 +0200 In-Reply-To: <87efh09dyd.fsf@gmail.com> (Taylan Kammer's message of "Thu, 21 Jun 2018 20:44:42 +0200") Message-ID: <87h8lv6bzk.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2001:4830:134:3::e X-Spam-Score: -5.0 (-----) X-Debbugs-Envelope-To: 31889-done Cc: 31889-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -6.0 (------) Hi, Taylan Kammer 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. From debbugs-submit-bounces@debbugs.gnu.org Fri Jun 22 12:21:21 2018 Received: (at 31889-done) by debbugs.gnu.org; 22 Jun 2018 16:21:21 +0000 Received: from localhost ([127.0.0.1]:60478 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fWOoK-0005UT-NY for submit@debbugs.gnu.org; Fri, 22 Jun 2018 12:21:21 -0400 Received: from mail-wm0-f45.google.com ([74.125.82.45]:39189) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fWOoG-0005UE-W2 for 31889-done@debbugs.gnu.org; Fri, 22 Jun 2018 12:21:17 -0400 Received: by mail-wm0-f45.google.com with SMTP id p11-v6so3246704wmc.4 for <31889-done@debbugs.gnu.org>; Fri, 22 Jun 2018 09:21:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=1tQ0BDPYMNGVH0cDERxrqN/C6zD9gmjcfWZAGWcJm3o=; b=jFsAUArSvQzkVWF1+5s7e9epSWlvE+tLaEtuhvFYiVPDEcoCnZVXMj0+iC5I9a86Hq 7QAwcSTKVlX1MeuO/fxQUphtlR0KR7klzkOrywEKO0fvDibz9zu5Yt4Sq446j6iw8RkM zClNY+4W7jHSFYYEuJX9NCF55mbjKy7tX/lcqYPM59Z5C8HLm1hLM1O3qD97EaaxowEQ HCnkjd5Fh9uAVUW++SqthH7iwt4q5lVRL9gN7xBP+/mlCk7pSBeJzxueCOvWBuufi7PS SadXsWYwIA+kQUJUy7dc6ynyHzAj3fpbFnE4YioAHxW2nbwEs8k1orls/B+Bmx4QRlkv h9ng== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=1tQ0BDPYMNGVH0cDERxrqN/C6zD9gmjcfWZAGWcJm3o=; b=LBbaYjOeqgkQNeMfrmi5iNPnyv2ma/CazZz43KRjMhzz0079zcst5DroUfUFg7coj0 vzRJmD8dD/Jz8pAZvgXQ13rjkeEjdG2HefeBOqDW7mQ31vmQ2JHVxAEFrvLWSV6jGvEy QiXBKk4sYhRfWB20ElzckZENEUOUc2gdPEiOUAXTvfy5mfGN21jG2EVABai61T3z1sma BZidRL3ciw8BFXK0FVjExv16IrR7gTDasZaO4TLCDFE+1HvILzzNO/tjJaLR/JeiN5Y5 PPM9kttTAjQrMGpQdxfEbdpdA97tpjB6uMq1KVSEXL0cuWbYCfrLkUGkeWpYvnoqK/c0 VcJw== X-Gm-Message-State: APt69E2+F+UFsFGaTIZ6yjOK/FlDwYt1+khpfRKTeYc+6haK9H3v9Wl1 +JRcigj0ClftjzvLKGFXkVvTtQ== X-Google-Smtp-Source: AAOMgpe516F4kMAHLhndGpRrKpNsIJ+EHG89Ob4rzeGOTvCqrYimN4Cad3Uw5BeiReckAqtq5vaUvw== X-Received: by 2002:a1c:30d7:: with SMTP id w206-v6mr2089385wmw.153.1529684471073; Fri, 22 Jun 2018 09:21:11 -0700 (PDT) Received: from guixsd ([2a02:908:c35:b420:7fc7:951d:d3f1:148f]) by smtp.gmail.com with ESMTPSA id t124-v6sm2056580wmt.29.2018.06.22.09.21.09 (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Fri, 22 Jun 2018 09:21:09 -0700 (PDT) From: Taylan Kammer To: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: bug#31889: Filesystems must not depend on device mappings? References: <87efh1qhs3.fsf@gnu.org> <87efh09dyd.fsf@gmail.com> <87h8lv6bzk.fsf@gnu.org> Date: Fri, 22 Jun 2018 20:21:07 +0200 In-Reply-To: <87h8lv6bzk.fsf@gnu.org> ("Ludovic \=\?utf-8\?Q\?Court\=C3\=A8s\=22'\?\= \=\?utf-8\?Q\?s\?\= message of "Thu, 21 Jun 2018 23:55:27 +0200") Message-ID: <8736xevg18.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 31889-done Cc: 31889-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) ludo@gnu.org (Ludovic Court=C3=A8s) writes: > Hi, > > Taylan Kammer 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/= xyz=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., se= t 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=98d= evice=E2=80=99 > field, or to specify only the relevant mapped device in =E2=80=98dependen= cies=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. Thank you for the explanation and the fix! :-) Taylan From unknown Tue Sep 09 21:32:27 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 21 Jul 2018 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator