From b71df1b13645c576e05d886064f8ff0f7842527c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Aur=C3=A9lien=20COUDERC?= Date: Thu, 11 Dec 2014 07:22:52 +0000 Subject: [PATCH] Prefer hi-res grub backgroud for EFI installations --- debian/postinst | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/debian/postinst b/debian/postinst index c267947..8fbd698 100644 --- a/debian/postinst +++ b/debian/postinst @@ -59,14 +59,30 @@ moreblue-orbit-splash.png 40 EOF # Alternatives for grub + ## Favor widescreen / hi-res background for efi installations + num_grub_efi_installed=$(dpkg-query --list "grub-efi*" | grep "^i" | wc -l) + if [ $num_grub_efi_installed -gt 0 ] ; then + lines_grub_prio=15 + lines_grub_1920_prio=20 + else + lines_grub_prio=20 + lines_grub_1920_prio=15 + fi + update-alternatives --install \ + /usr/share/images/desktop-base/desktop-grub.png \ + desktop-grub \ + /usr/share/images/desktop-base/lines-grub.png $lines_grub_prio + update-alternatives --install \ + /usr/share/images/desktop-base/desktop-grub.png \ + desktop-grub \ + /usr/share/images/desktop-base/lines-grub-1920x1080.png $lines_grub_1920_prio + while read background priority; do update-alternatives --install \ /usr/share/images/desktop-base/desktop-grub.png \ desktop-grub \ /usr/share/images/desktop-base/$background $priority done << EOF -lines-grub.png 20 -lines-grub-1920x1080.png 15 joy-grub.png 15 spacefun-grub.png 15 spacefun-grub-widescreen.png 14