From mboxrd@z Thu Jan 1 00:00:00 1970 From: Giovanni Biscuolo Subject: bug#35875: Guix won't boot after installation with fully encrypted disk Date: Thu, 30 May 2019 14:10:36 +0200 Message-ID: <875zps16tf.fsf@roquette.mug.biscuolo.net> References: <138779ab-830b-32a9-e64a-e1fccabf90ab@disroot.org> <87pno7rdmn.fsf@gnu.org> <877eaf3p6r.fsf@roquette.mug.biscuolo.net> <87o93l1b65.fsf@roquette.mug.biscuolo.net> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([209.51.188.92]:53646) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hWJud-0002Tn-4k for bug-guix@gnu.org; Thu, 30 May 2019 08:12:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hWJuc-0000u2-8Y for bug-guix@gnu.org; Thu, 30 May 2019 08:12:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47368) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hWJuc-0000sJ-3b for bug-guix@gnu.org; Thu, 30 May 2019 08:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hWJub-00073O-TQ for bug-guix@gnu.org; Thu, 30 May 2019 08:12:01 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Reg Cc: 35875@debbugs.gnu.org --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Hello Reg, Reg writes: [...] > (bootloader > (bootloader-configuration > (bootloader grub-efi-bootloader) > (target "/boot/efi") > (keyboard-layout keyboard-layout))) > (mapped-devices > (list (mapped-device > (source > (uuid "e613d30e-c46f-4cb3-8bde-409009be5e2e")) > (target "cryptroot") > (type luks-device-mapping)))) > (file-systems > (cons* (file-system > (mount-point "/boot/efi") > (device (uuid "2E91-4865" 'fat32)) > (type "vfat")) > (file-system > (mount-point "/") > (device "/dev/mapper/cryptroot") > (type "ext4") > (dependencies mapped-devices)) > %base-file-systems)) [...] On a test machine I practically have the very same bootloader, mapped-device and file-systems configuration and I've no problems booting Are you sure your laptop does not boot at all? I mean: can't you switch to a different tty (CTRL-ALT-F2) and see a console login? I'm out of ideas here, sorry HTH! Gio'. =2D-=20 Giovanni Biscuolo Xelera IT Infrastructures --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEERcxjuFJYydVfNLI5030Op87MORIFAlzvyD0ACgkQ030Op87M ORLswA/5AXW0/azVpZf/x07eIhqW8/MrcgsuooUeGy9Zt1ssaMre7qbTzHs/QHH0 Ev30Ku1zN3VoYV9PatfQmjVTvi1eSyT95nmGgJWwetpBLwuxp5U8lTawqxs/a9VU 9e5F4ehsDL7o9snRAoQYkASldkOMP0M9lVAhcoHANhft3SfwBw4b9uW5V2X3badD ypT4GyOpbmcF8yi2DupohNLXeAZNPwQh/C174+A0Qznutjv5uHmetZBaC7JeoX3R vqLt8r3ddlJDTZFOf/w4JZ+F7S+RX05h/hqDeBkejUcdGNI3awD8UHRNSTL3DYCT QZwI0AjDnXupnp/nuZmAb12qF/v/bN1gq9VwLqWl8b0vVb6MaPg5AvjjycI8tt7k DcUP5ZXwABVTUhfd0Sl6XUwVRdgMVdjjdnwdcFjeVIWrBh6Qu2aSnNEufu2jOK6l hOkPiKdDpq7H70Ul3nI+rDcnclQIPgq1OznblcdeqBl3Xy4WS8xIttg2Mud1KT1c cP/AxVRgQzN4kgWxZ/FE47H6IAymfHEdvGW90NfNXqMUSA7JZdLJCb8h2M0TAfpe UOrUxsCku65S6hjYxYSJ10HeuO2DMaCdHNKkw9E8gI+0VAmqvg7ZQtZpMlnP8X4J OT9FV4vgRStLD8E7i+tzvuKdWPx4kT8CNj4y9k6m5RWQH37Uoag= =IeYd -----END PGP SIGNATURE----- --=-=-=--