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

the alternative is still called desktop-grub, without extension

Browse Source
This commit is contained in:
Yves-Alexis Perez
2010-11-14 13:52:22 +00:00
parent 0836011d65
commit 0dca221c8f
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
debian/prerm vendored
View File

@@ -30,10 +30,10 @@ if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
/usr/share/images/desktop-base/gnome-splash-curves.png
# remove grub alternatives
update-alternatives --remove desktop-grub.png \
update-alternatives --remove desktop-grub \
/usr/share/images/desktop-base/spacefun-grub.png
update-alternatives --remove desktop-grub.png \
update-alternatives --remove desktop-grub \
/usr/share/images/desktop-base/moreblue-orbit-grub.png
fi