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