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

d379a5
From 8ecdc2b44b5c6282722f71dcab0af3c6d27d39d6 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
d379a5
index 07fdb0cc..358aee01 100755
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
-- 
d379a5
2.17.0
5d36d8