Blame SOURCES/0014-session-selector-restore-saved-session-mode.patch

5d36d8
From b6c78c97a1eac2c4c1711cd86ed740cd9d25c9fc Mon Sep 17 00:00:00 2001
5d36d8
From: Ray Strode <rstrode@redhat.com>
5d36d8
Date: Tue, 7 Jan 2014 21:16:23 -0500
5d36d8
Subject: [PATCH 14/19] session-selector: restore saved session mode
5d36d8
5d36d8
When using the custom session selector, we need to know
5d36d8
whether to use classic mode or not.
5d36d8
5d36d8
This commit makes us use whatever mode was saved with the
5d36d8
session.
5d36d8
---
5d36d8
 tools/gnome-session-custom-session | 17 ++++++++++++++++-
5d36d8
 1 file changed, 16 insertions(+), 1 deletion(-)
5d36d8
5d36d8
diff --git a/tools/gnome-session-custom-session b/tools/gnome-session-custom-session
5d36d8
index 07fdb0cc..358aee01 100644
5d36d8
--- a/tools/gnome-session-custom-session
5d36d8
+++ b/tools/gnome-session-custom-session
5d36d8
@@ -1,4 +1,19 @@
5d36d8
 #! /bin/sh
5d36d8
 
5d36d8
 gnome-session-selector
5d36d8
-exec gnome-session
5d36d8
+
5d36d8
+type_file="${XDG_CONFIG_HOME:-$HOME/.config}/gnome-session/saved-session/type"
5d36d8
+
5d36d8
+session_type=""
5d36d8
+if [ -e "$type_file" ]; then
5d36d8
+        read session_type < "$type_file"
5d36d8
+fi
5d36d8
+
5d36d8
+session_type_argument=""
5d36d8
+[ -n "$session_type" ] && session_type_argument="--session=$session_type"
5d36d8
+
5d36d8
+if [ "$session_type" = "gnome-classic" ]; then
5d36d8
+        export GNOME_SHELL_SESSION_MODE="classic"
5d36d8
+fi
5d36d8
+
5d36d8
+exec gnome-session "$session_type_argument"
5d36d8
-- 
5d36d8
2.12.0
5d36d8