[patch] 11-xdg-menu-KDE-4.patch

diff (text/plain), 361 bytes, created by Fabio Rossi on 2010-03-07 18:30:28 UTC

--- /tmp/11-xdg-menu-KDE-4	2010-03-07 18:53:36.000000000 +0100
+++ /etc/X11/xinit/xinitrc.d/11-xdg-menu-KDE-4	2010-03-07 18:53:41.000000000 +0100
@@ -1,5 +1,5 @@
 #!/bin/sh
 
-if [ -z ${XDG_MENU_PREFIX} ] && [ ${DESKTOP_SESSION} = "KDE-4" ]; then
+if [ -z ${XDG_MENU_PREFIX} ] && [ "${DESKTOP_SESSION}" = "KDE-4" ]; then
 	export XDG_MENU_PREFIX="kde-4.4-"
 fi