Keep grub resolution in EFI boot, to avoid tiny fonts

(closes: #935546)
This commit is contained in:
Samuel Thibault 2019-08-23 22:02:17 +02:00
parent 9acb8c5796
commit d131685f64
4 changed files with 10 additions and 0 deletions

7
debian/changelog vendored
View File

@ -1,3 +1,10 @@
debian-cd (3.1.27) UNRELEASED; urgency=medium
[ Samuel Thibault ]
* Keep grub resolution in EFI boot, to avoid tiny fonts (closes: #935546).
-- Samuel Thibault <sthibault@debian.org> Fri, 23 Aug 2019 21:51:50 +0200
debian-cd (3.1.26) unstable; urgency=medium
[ Steve McIntyre ]

View File

@ -240,6 +240,7 @@ foreach my $line(@lines) {
print_indent "set menu_color_highlight=white/blue\n";
print_indent "set theme=/boot/grub/theme/" . $menu{"number"} . "\n";
}
print_indent "set gfxpayload=keep";
create_theme_file($menu{"number"});
$new_menu = 0;
}

View File

@ -240,6 +240,7 @@ foreach my $line(@lines) {
print_indent "set menu_color_highlight=white/blue\n";
print_indent "set theme=/boot/grub/theme/" . $menu{"number"} . "\n";
}
print_indent "set gfxpayload=keep";
create_theme_file($menu{"number"});
$new_menu = 0;
}

View File

@ -218,6 +218,7 @@ foreach my $line(@lines) {
print_indent "set menu_color_normal=cyan/blue\n";
print_indent "set menu_color_highlight=white/blue\n";
print_indent "set theme=/boot/grub/theme/" . $menu{"number"} . "\n";
print_indent "set gfxpayload=keep";
create_theme_file($menu{"number"});
$new_menu = 0;
}