Keep grub resolution in EFI boot, to avoid tiny fonts

(closes: #935546)

Backport fix to buster
This commit is contained in:
Samuel Thibault 2019-08-23 22:02:17 +02:00 committed by Steve McIntyre
parent db1a62f8ac
commit a4347789ca
4 changed files with 11 additions and 1 deletions

9
debian/changelog vendored
View File

@ -1,4 +1,11 @@
debian-cd (3.1.25) UNRELEASED; urgency=medium debian-cd (3.1.26-buster) UNRELEASED; urgency=medium
* Backports of fixes from debian-cd in unstable
+ 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 ] [ Steve McIntyre ]
* Change a load of http URLs to use https instead, * Change a load of http URLs to use https instead,

View File

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