From 4214572344c0145647e10c5f17bb02f99538baef Mon Sep 17 00:00:00 2001
From: Marek Marczykowski <marmarek@invisiblethingslab.com>
Date: Wed, 18 Apr 2012 10:11:45 +0200
Subject: [PATCH] dom0/appmenus: remove menu file left by xdg-desktop-menu
 (#529)

---
 dom0/aux-tools/remove_appvm_appmenus.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dom0/aux-tools/remove_appvm_appmenus.sh b/dom0/aux-tools/remove_appvm_appmenus.sh
index 4e881c53..c7a7a853 100755
--- a/dom0/aux-tools/remove_appvm_appmenus.sh
+++ b/dom0/aux-tools/remove_appvm_appmenus.sh
@@ -15,6 +15,7 @@ fi
 if ls $APPSDIR/*.directory $APPSDIR/*.desktop > /dev/null 2>&1; then
     xdg-desktop-menu uninstall $APPSDIR/*.directory $APPSDIR/*.desktop
     rm -f $APPSDIR/*.desktop $APPSDIR/*.directory
+    rm -f $HOME/.config/menus/applications-merged/user-$VMNAME-vm.menu
 fi
 
 if [ -n "$KDE_SESSION_UID" ]; then