diff --git a/usr/lib/linuxmint/mintMenu/detectDE b/usr/lib/linuxmint/mintMenu/detectDE new file mode 100755 index 0000000..e8eca68 --- /dev/null +++ b/usr/lib/linuxmint/mintMenu/detectDE @@ -0,0 +1,7 @@ +#!/bin/bash +if [ x"$KDE_FULL_SESSION" = x"true" ]; then DE=kde; + elif [ x"$GNOME_DESKTOP_SESSION_ID" != x"" ]; then DE=gnome; + elif `dbus-send --print-reply --dest=org.freedesktop.DBus /org/freedesktop/DBus org.freedesktop.DBus.GetNameOwner string:org.gnome.SessionManager > /dev/null 2>&1` ; then DE=gnome; + elif xprop -root _DT_SAVE_MODE 2> /dev/null | grep ' = \"xfce4\"$' >/dev/null 2>&1; then DE=xfce; +fi +echo $DE