--- xdg-desktop-menu.orig 2007-07-27 14:38:41.000000000 -0700 +++ xdg-desktop-menu 2007-07-27 09:26:28.000000000 -0700 @@ -1216,6 +1216,19 @@ basefile=`basename $desktop_file` + if [ -n "$gnome_dir" ] ; then + version=`gnome-about --version 2>/dev/null | sed 's/Gnome gnome-about //'` + major=`echo $version | sed 's/\([0-9]*\).*/\1/'` + minor=`echo $version | sed 's/[0-9]*\.\([0-9]*\).*/\1/'` + if [ -n "$major" ] ; then + if [ "$major" -gt 2 ] ; then + gnome_dir= + elif [ "$major" -eq 2 ] ; then + test -n "$minor" -a "$minor" -ge 8 && gnome_dir= + fi + fi + fi + DEBUG 1 "$action $desktop_file in $xdg_dir $kde_dir $gnome_dir" case $action in