GNU bug report logs - #39713
Was told on IRC (#guix at freenode) to share the details of my problem with Guix (SD) via email

Previous Next

Package: guix;

Reported by: Akshay Khobragade <akshaykhobragade <at> tuta.io>

Date: Fri, 21 Feb 2020 15:33:01 UTC

Severity: normal

Tags: notabug

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 39713 in the body.
You can then email your comments to 39713 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Fri, 21 Feb 2020 15:33:01 GMT) Full text and rfc822 format available.

Acknowledgement sent to Akshay Khobragade <akshaykhobragade <at> tuta.io>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Fri, 21 Feb 2020 15:33:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Akshay Khobragade <akshaykhobragade <at> tuta.io>
To: bug-guix <at> gnu.org
Subject: Was told on IRC (#guix at freenode) to share the details of my
 problem with Guix (SD) via email
Date: Fri, 21 Feb 2020 11:09:39 +0100 (CET)
[Message part 1 (text/plain, inline)]
Hello,

My failed attempt to use https://webchat.freenode.net on an smartphone led 'civodul' on IRC to ask me to share the details of my problem with the installation of Guix (SD) via email.

This is my first ever installation of Guix where I chose:

1. Separate Boot (/boot) and EFI (/boot/efi) partitions

2. Encrypted root (having used it in Debian for the last 10 months, I am comfortable)

3. Everything is formatted as Ext4 except the EFI partition.

The installer said it had installed the system successfully and that I can remove the installation media and boot the system. To my surprise, system never asked for the password of the root partition and led to an error saying it find the kernel. You can see this in the photograph attatched to this email.

I thank you for considering my issue and hope to fix it sooner than later as Guix is the only operating system I have installed.

Thank You,
Akshay
[IMG_20200221_152346.jpg (image/jpeg, attachment)]

Information forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Fri, 21 Feb 2020 17:04:02 GMT) Full text and rfc822 format available.

Message #8 received at 39713 <at> debbugs.gnu.org (full text, mbox):

From: Akshay Khobragade <akshaykhobragade <at> tuta.io>
To: 39713 <at> debbugs.gnu.org
Subject: reply to the original report
Date: Fri, 21 Feb 2020 17:59:03 +0100 (CET)
It seems cryptsetup is never invoked and the root partition is not decrypted before GRUB could load the kernel.




Information forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Fri, 21 Feb 2020 17:57:01 GMT) Full text and rfc822 format available.

Message #11 received at 39713 <at> debbugs.gnu.org (full text, mbox):

From: Tobias Geerinckx-Rice <me <at> tobias.gr>
To: Akshay Khobragade <akshaykhobragade <at> tuta.io>
Cc: 39713 <at> debbugs.gnu.org
Subject: Re: bug#39713: Was told on IRC (#guix at freenode) to share the
 details of my problem with Guix (SD) via email
Date: Fri, 21 Feb 2020 18:56:56 +0100
[Message part 1 (text/plain, inline)]
Akshay,

Akshay Khobragade via Bug reports for GNU Guix 写道:
> This is my first ever installation of Guix where I chose:
>
> 1. Separate Boot (/boot) and EFI (/boot/efi) partitions
> 2. Encrypted root (having used it in Debian for the last 10 
> months, I am comfortable)

This just isn't possible (yet).

There's no support in Guix System for a separate, unencrypted, 
/boot partition.  If you want a Guix System with full disk 
encryption you'll have to keep /boot as a regular subdirectory and 
enter your passphrase twice.

Both of these limitations could be removed by someone sufficiently 
motivated and/or annoyed :-)

Kind regards,

T G-R
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Fri, 21 Feb 2020 18:04:01 GMT) Full text and rfc822 format available.

Message #14 received at 39713 <at> debbugs.gnu.org (full text, mbox):

From: Akshay Khobragade <akshaykhobragade <at> tuta.io>
To: 39713 <39713 <at> debbugs.gnu.org>
Subject: bug#39713
Date: Fri, 21 Feb 2020 19:03:25 +0100 (CET)
Thank You for the reply, Tobias.

Will try setting up and report back in a few hours.

I figured any distro would require a separate /boot partition with an encrypted root since debian does. I guess not.




Information forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Fri, 21 Feb 2020 20:36:01 GMT) Full text and rfc822 format available.

Message #17 received at 39713 <at> debbugs.gnu.org (full text, mbox):

From: Akshay Khobragade <akshaykhobragade <at> tuta.io>
To: 39713 <39713 <at> debbugs.gnu.org>
Subject: bug#39713
Date: Fri, 21 Feb 2020 21:34:54 +0100 (CET)
I reinstalled the system with encrypted root and without a separate /boot partition and it boots successfully!

Thank you Tobias.




Information forwarded to bug-guix <at> gnu.org:
bug#39713; Package guix. (Sat, 22 Feb 2020 00:03:01 GMT) Full text and rfc822 format available.

Message #20 received at 39713 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Akshay Khobragade <akshaykhobragade <at> tuta.io>
Cc: 39713 <39713 <at> debbugs.gnu.org>
Subject: Re: bug#39713:
Date: Sat, 22 Feb 2020 01:02:09 +0100
Hi,

Akshay Khobragade <akshaykhobragade <at> tuta.io> skribis:

> I reinstalled the system with encrypted root and without a separate /boot partition and it boots successfully!

Awesome, thanks for letting us know!

Ludo’.




Added tag(s) notabug. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Sat, 22 Feb 2020 00:03:02 GMT) Full text and rfc822 format available.

bug closed, send any further explanations to 39713 <at> debbugs.gnu.org and Akshay Khobragade <akshaykhobragade <at> tuta.io> Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Sat, 22 Feb 2020 00:03:02 GMT) Full text and rfc822 format available.

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 21 Mar 2020 11:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 5 years and 128 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.