From unknown Tue Sep 09 21:32:25 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31889: Filesystems must not depend on device mappings? Resent-From: Taylan Ulrich =?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 18 Jun 2018 21:13:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 31889 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 31889@debbugs.gnu.org X-Debbugs-Original-To: bug-guix@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.152935632712687 (code B ref -1); Mon, 18 Jun 2018 21:13:01 +0000 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: Taylan Ulrich =?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?= Date: Mon, 18 Jun 2018 23:11:54 +0200 Message-ID: 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-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 unknown Tue Sep 09 21:32:25 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31889: Filesystems must not depend on device mappings? Resent-From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Wed, 20 Jun 2018 21:18:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31889 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: Taylan Ulrich =?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?= Cc: 31889@debbugs.gnu.org Received: via spool by 31889-submit@debbugs.gnu.org id=B31889.152952947816426 (code B ref 31889); Wed, 20 Jun 2018 21:18:01 +0000 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?=) 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-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 unknown Tue Sep 09 21:32:25 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31889: Filesystems must not depend on device mappings? Resent-From: Taylan Kammer Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Thu, 21 Jun 2018 16:45:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31889 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Cc: 31889@debbugs.gnu.org Received: via spool by 31889-submit@debbugs.gnu.org id=B31889.152959949217631 (code B ref 31889); Thu, 21 Jun 2018 16:45:01 +0000 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 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-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 unknown Tue Sep 09 21:32:25 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Taylan Ulrich =?UTF-8?Q?Bay=C4=B1rl=C4=B1/Kammer?= Subject: bug#31889: closed (Re: bug#31889: Filesystems must not depend on device mappings?) Message-ID: References: <87h8lv6bzk.fsf@gnu.org> X-Gnu-PR-Message: they-closed 31889 X-Gnu-PR-Package: guix Reply-To: 31889@debbugs.gnu.org Date: Thu, 21 Jun 2018 21:56:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1529618162-4416-1" This is a multi-part message in MIME format... ------------=_1529618162-4416-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #31889: Filesystems must not depend on device mappings? which was filed against the guix package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 31889@debbugs.gnu.org. --=20 31889: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D31889 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1529618162-4416-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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. ------------=_1529618162-4416-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit 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-- ------------=_1529618162-4416-1-- From unknown Tue Sep 09 21:32:25 2025 X-Loop: help-debbugs@gnu.org Subject: bug#31889: Filesystems must not depend on device mappings? Resent-From: Taylan Kammer Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Fri, 22 Jun 2018 16:22:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 31889 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Cc: 31889-done@debbugs.gnu.org Received: via spool by 31889-done@debbugs.gnu.org id=D31889.152968448121114 (code D ref 31889); Fri, 22 Jun 2018 16:22:01 +0000 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 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-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