Re: [arch-general] How best to adapt grub configuration?