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