grub-customizer: grub-customizer (a graphical grub2 settings manager)
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: 
grub-customizer: