grub-rename-00_menu_auto_hide.in-to-01_menu_auto_hide.in.patch 1.23 KB