[bug#29765] [PATCH 0/3] Check mapped devices upon 'init' and 'reconfigure'

["Ludovic Courtès" <ludo@gnu.org>]

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