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
#
# DO NOT EDIT THIS FILE
#
# 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
needed.
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.
Max
Received on Mon Jul 22 2019 - 07:39:27 UTC