From bb699d354050ceab9f584acea6a1c173c2f472ae Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Guelfucci?= Date: Thu, 13 Jan 2011 00:46:00 +0100 Subject: [PATCH] Set DESKTOP_SESSION to "xfce" in xinitrc (bug #6376). --- scripts/xinitrc.in.in | 4 ++++ 1 files changed, 4 insertions(+), 0 deletions(-) diff --git a/scripts/xinitrc.in.in b/scripts/xinitrc.in.in index 3004743..fe45e18 100755 --- a/scripts/xinitrc.in.in +++ b/scripts/xinitrc.in.in @@ -16,6 +16,10 @@ if test "x$XDG_MENU_PREFIX" = "x"; then export XDG_MENU_PREFIX fi +# set DESKTOP_SESSION so that one can detect easily if an Xfce session is running +DESKTOP_SESSION="xfce" +export DESKTOP_SESSION + # $XDG_CONFIG_HOME defines the base directory relative to which user specific # configuration files should be stored. If $XDG_CONFIG_HOME is either not set # or empty, a default equal to $HOME/.config should be used. -- 1.7.2.3