[debbugs-tracker] bug#29765: closed ([PATCH 0/3] Check mapped devices upon 'init' and 'reconfigure')

[GNU bug Tracking System]

Your message dated Fri, 22 Dec 2017 10:05:16 +0100
with message-id <address@hidden>
and subject line Re: [bug#29765] [PATCH 0/3] Check mapped devices upon 'init' 
and 'reconfigure'
has caused the debbugs.gnu.org bug report #29765,
regarding [PATCH 0/3] Check mapped devices upon 'init' and 'reconfigure'
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
29765: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=29765
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] Check mapped devices upon 'init' and 'reconfigure'
>
>
>
>
> Date: 
>
> Mon, 18 Dec 2017 15:14:26 +0100
>
>
>
>
> Hi!
>
> On IRC somebody reported a GuixSD misconfiguration: the person used the
> desktop example, which has a LUKS root partition, but did not actually
> create the root partition as LUKS.  As a result, the installed system
> would not boot.
>
> ‘guix system init/reconfigure’ verifies file system labels and UUIDs
> but in this case this is clearly insufficient.
>
> This patch series addresses this by reporting LUKS UUIDs that could not
> be found.
>
> Ludo’.
>
> Ludovic Courtès (3):
>   mapped-devices: Add 'location' and 'check' fields.
>   mapped-devices: 'luks-device-mapping' checks its source device.
>   guix system: Check mapped devices upon 'init' and 'reconfigure'.
>
>  gnu/system/mapped-devices.scm | 34 +++++++++++++++++++++++++++++++---
>  guix/scripts/system.scm       | 24 +++++++++++++++++++++---
>  2 files changed, 52 insertions(+), 6 deletions(-)
>
> -- 
> 2.15.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#29765] [PATCH 0/3] Check mapped devices upon 'init' and 'reconfigure'
>
>
>
>
> Date: 
>
> Fri, 22 Dec 2017 10:05:16 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
>
>
>
>
> Ludovic Courtès <address@hidden> skribis:
>
> > On IRC somebody reported a GuixSD misconfiguration: the person used the
> > desktop example, which has a LUKS root partition, but did not actually
> > create the root partition as LUKS.  As a result, the installed system
> > would not boot.
> >
> > ‘guix system init/reconfigure’ verifies file system labels and UUIDs
> > but in this case this is clearly insufficient.
> >
> > This patch series addresses this by reporting LUKS UUIDs that could not
> > be found.
>
> Pushed!
>
> Note that this changes the ABI of (gnu system mapped-devices) so you may
> need to “make clean-go && make”!
>
> Thanks,
> Ludo’.
>
>
> --- End Message ---