From 471d521f0d8b6c9d021eabe443ce8617c74ab107 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Aur=C3=A9lien=20COUDERC?= <zecoucou@free.fr>
Date: Sun, 30 Oct 2016 07:14:22 +0000
Subject: [PATCH] Gnome2 splash -> also remove alternative

---
 debian/postinst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/postinst b/debian/postinst
index 3b37891..6e2e830 100644
--- a/debian/postinst
+++ b/debian/postinst
@@ -1,8 +1,8 @@
 #!/bin/bash -e
 set -e
 
-if [ "$1" = configure ] && dpkg --compare-versions "$2" lt-nl 7; then
-  update-alternatives --remove desktop-grub /usr/share/images/desktop-base/moreblue-orbit-grub.png
+if [ "$1" = configure ] && [ -h /etc/alternatives/desktop-splash ] ; then
+  update-alternatives --remove-all desktop-splash
 fi
 
 if [ "$1" = "configure" -o "$1" = "abort-upgrade" ]; then