Add grub-efi to the installer

  • Open
  • quality assurance status badge
Details
One participant
  • Tobias Geerinckx-Rice
Owner
unassigned
Submitted by
Tobias Geerinckx-Rice
Severity
normal

Debbugs page

Tobias Geerinckx-Rice wrote 2 years ago
(address . bug-guix@gnu.org)
878rhlj5ym.fsf@nckx
A reminder to myself:

grub-efi appears to be missing from the installer image, reducing
its value as an (off-line) rescue system. Inspect the size
increase and add it if at all reasonable.

Kind regards,

T G-R
-----BEGIN PGP SIGNATURE-----

iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCY9b8EQ0cbWVAdG9iaWFz
LmdyAAoJEA2w/4hPVW15C1IBAN7eH/v3pEFA8WGeV+52vfjJabY5nOmxl4sam+xl
OZ0wAP9Xd/vaTYkY5pYD9G1dFtjXsoQptZhC3sL/YMm9SOnVDg==
=nT29
-----END PGP SIGNATURE-----

Tobias Geerinckx-Rice wrote 2 years ago
(address . 61158@debbugs.gnu.org)
874js9j5va.fsf@nckx
Tobias Geerinckx-Rice 写道：
Toggle quote (2 lines)
> grub-efi

Or -hybrid, if fully equivalent.

Kind regards,

T G-R
-----BEGIN PGP SIGNATURE-----

iIMEARYKACsWIQT12iAyS4c9C3o4dnINsP+IT1VteQUCY9b8iQ0cbWVAdG9iaWFz
LmdyAAoJEA2w/4hPVW152B4BAJ7T4cXtzy8QCJxR4McRALOgXWwuRDmSu4OxEcXn
52cxAQCbMTxLWm3ShZ1GRyBpOs/mY58U0Cbtgk7Aic5EgQvMDA==
=/LHp
-----END PGP SIGNATURE-----

?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send an email to 61158@debbugs.gnu.org

To respond to this issue using the mumi CLI, first switch to it
mumi current 61158
Then, you may apply the latest patchset in this issue (with sign off)
mumi am -- -s
Or, compose a reply to this issue
mumi compose
Or, send patches to this issue
mumi send-email *.patch
You may also tag this issue. See list of standard tags. For example, to set the confirmed and easy tags
mumi command -t +confirmed -t +easy
Or, remove the moreinfo tag and set the help tag
mumi command -t -moreinfo -t +help