Re: migrating grub from BIOS to UEFI loses /etc/default/grub

To: debian-user@lists.debian.org
Subject: Re: migrating grub from BIOS to UEFI loses /etc/default/grub
From: Harald Dunkel <harald.dunkel@aixigo.com>
Date: Tue, 28 May 2024 09:02:45 +0200
Message-id: <[🔎] a6a65d70-0c66-4ff5-af2c-cc68f7c1a9d4@aixigo.com>
In-reply-to: <[🔎] 87bk4upao0.fsf@host0.frougon.net>
References: <[🔎] 007d8521-e460-43e3-9353-0d4452060bde@aixigo.com> <[🔎] 87bk4upao0.fsf@host0.frougon.net>

Full thread is on debian-boot mailing list.

Reply to:

Follow-Ups:
- Re: migrating grub from BIOS to UEFI loses /etc/default/grub
  - From: Florent Rougon <f.rougon@free.fr>

References:
- migrating grub from BIOS to UEFI loses /etc/default/grub
  - From: Harald Dunkel <harald.dunkel@aixigo.com>
- Re: migrating grub from BIOS to UEFI loses /etc/default/grub
  - From: Florent Rougon <f.rougon@free.fr>

Prev by Date: Re: "Repeaters", etc. - FRITZ!Box 7490
Next by Date: Re: "Repeaters", etc.
Previous by thread: Re: migrating grub from BIOS to UEFI loses /etc/default/grub
Next by thread: Re: migrating grub from BIOS to UEFI loses /etc/default/grub
Index(es):
- Date
- Thread