As to grub.cfg:

I set GRUB_TIMEOUT=5 in my /etc/default/grub, but the timeout for efi
was reset to 30 on every update.  I didn't know that files in
/etc/default/grub.d are supposed to be changed, but I now changed

if [ \$grub_platform = efi ]; then                                              
                                                                                
                                                                             
  set timeout=${GRUB_RECORDFAIL_TIMEOUT:-30}                                    
                                                                                
                                                                              
  if [ x\$feature_timeout_style = xy ] ; then                                   
                                                                                
                                                                             
    set timeout_style=menu                                                      
                                                                                
                                                                             
  fi                                                                            
                                                                                
                                                                             
fi                                                                              
                                                                                
                                                                             

in /etc/grub.d/00_header to ... GRUB_RECORDFAIL_TIMEOUT:-5 ... and hope
that this helps in the future.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1929854

Title:
  Vital and critical configuration files get overridden by system
  updates without warning

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/1929854/+subscriptions


-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to