[adelie-devel] Re: GRUB configuration update hook

From: Max Rees <maxcrees_at_me.com>
Date: Mon, 22 Jul 2019 03:39:59 -0400

On Jul 10 02:33 AM, Max Rees wrote:
> Additionally, some mechanism must be employed so that users who:
> 1. Currently have a manual grub config
> 2. Do not have a .manual_config file
> do not have their configuration file overwritten when this change is
> made. By what mechanism this is made (public announcement, some sort of
> technical measure) I'm not sure.

mcrees on leliel ~ % head -n6 /boot/grub/grub.cfg
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub

This presents two options:

1. Determine that the user has a manual grub.cfg solely by grepping for
   (part of) this header. No separate .manual_config flag file is

2. Same as #1, but instead perform the grep at .post-upgrade time and
   make the .manual_config file in that case.

It's late so I can't think very clearly about the pros/cons of these two
options, so I'll post it here and hopefully someone else can figure it
out later.

Received on Mon Jul 22 2019 - 07:39:27 UTC

This archive was generated by hypermail 2.4.0 : Sat May 08 2021 - 22:54:40 UTC