Yves-Alexis Perez
9410da27dc
- rename grub alternative to add png extension so grub can find it.
- run sync before updating grub to be sure the grub background has been
written to disk.
* debian/prerm:
- rename grub alternative to add png extension.
- install grub theme and script.
* grub:
- add SpaceFun grub theme.
- add a grub_background.sh which will override settings in grub and
correctly set the default theme.
40 lines
1.4 KiB
Bash
40 lines
1.4 KiB
Bash
#!/bin/sh -e
|
|
|
|
#DEBHELPER#
|
|
|
|
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
|
|
# remove background alternatives
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/spacefun-wallpaper.svg
|
|
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/spacefun-wallpaper-widescreen.svg
|
|
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/moreblue-orbit-wallpaper.svg
|
|
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/moreblue-orbit-wallpaper-widescreen.svg
|
|
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/nightly-wallpaper.png
|
|
|
|
update-alternatives --remove desktop-background \
|
|
/usr/share/images/desktop-base/debian-blueish-wallpaper.svg
|
|
|
|
# remove splash alternatives
|
|
update-alternatives --remove desktop-splash \
|
|
/usr/share/images/desktop-base/moreblue-orbit-splash.png
|
|
|
|
update-alternatives --remove desktop-splash \
|
|
/usr/share/images/desktop-base/gnome-splash-curves.png
|
|
|
|
# remove grub alternatives
|
|
update-alternatives --remove desktop-grub.png \
|
|
/usr/share/images/desktop-base/spacefun-grub.png
|
|
|
|
update-alternatives --remove desktop-grub.png \
|
|
/usr/share/images/desktop-base/moreblue-orbit-grub.png
|
|
fi
|
|
|