X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=grc%2Ffreedesktop%2Fgrc_setup_freedesktop.in;fp=grc%2Ffreedesktop%2Fgrc_setup_freedesktop.in;h=ab4ce82ef883c20ee5238a3acca407b5a793b59c;hb=2924c0e740bbb9106bfed602345daaee5606d62a;hp=a0c5ac193bde67f06bf58ae60d6ea4564202d86f;hpb=94d315e556805fb75784964499472977664809c4;p=debian%2Fgnuradio

diff --git a/grc/freedesktop/grc_setup_freedesktop.in b/grc/freedesktop/grc_setup_freedesktop.in
index a0c5ac19..ab4ce82e 100644
--- a/grc/freedesktop/grc_setup_freedesktop.in
+++ b/grc/freedesktop/grc_setup_freedesktop.in
@@ -1,4 +1,24 @@
 #!/bin/bash
+#
+# Copyright 2008, 2009, 2010 Free Software Foundation, Inc.
+#
+# This file is part of GNU Radio
+#
+# GNU Radio is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3, or (at your option)
+# any later version.
+#
+# GNU Radio is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with GNU Radio; see the file COPYING.  If not, write to
+# the Free Software Foundation, Inc., 51 Franklin Street,
+# Boston, MA 02110-1301, USA.
+#
 ##################################################
 # setup grc on a freedesktop platform
 # $1 should be install or uninstall
@@ -8,7 +28,7 @@
 ##################################################
 
 ICON_SIZES="32 48 64 128 256"
-MENU_ITEMS="gnuradio-companion usrp2_probe usrp_probe"
+MENU_ITEMS="grc usrp2_probe usrp_probe"
 if [ -n "$2" ]; then
 	SRCDIR="$2"
 else
@@ -39,11 +59,12 @@ case "$1" in
 	echo "Begin freedesktop uninstall..."
 	for size in ${ICON_SIZES}; do \
 		echo "Uninstall icon: ${size}x${size}"
-		xdg-icon-resource uninstall --context mimetypes --theme gnome --size ${size} application-gnuradio-grc; \
-		xdg-icon-resource uninstall --context mimetypes --size ${size} application-gnuradio-grc; \
-		xdg-icon-resource uninstall --context apps --theme gnome --size ${size} gnuradio-grc; \
-		xdg-icon-resource uninstall --context apps --size ${size} gnuradio-grc; \
+		xdg-icon-resource uninstall --noupdate --context mimetypes --theme gnome --size ${size} application-gnuradio-grc; \
+		xdg-icon-resource uninstall --noupdate --context mimetypes --size ${size} application-gnuradio-grc; \
+		xdg-icon-resource uninstall --noupdate --context apps --theme gnome --size ${size} gnuradio-grc; \
+		xdg-icon-resource uninstall --noupdate --context apps --size ${size} gnuradio-grc; \
 	done
+	xdg-icon-resource forceupdate
 	echo "Uninstall mime type"
 	xdg-mime uninstall ${SRCDIR}/gnuradio-grc.xml
 	echo "Uninstall menu items"