VesperOS/desktop-base
6
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Prefer hi-res grub backgroud for EFI installations

Browse Source
This commit is contained in:
Aurélien COUDERC
2014-12-11 07:22:52 +00:00
parent 4983bc4ef7
commit b71df1b136
1 changed files with 18 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
debian/postinst
Vendored
+18 -2
View File
@@ -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