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

244a5d
From 2a15240b8653b8fe0f0c1e2804d7c2fe8452a604 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
-- 
244a5d
2.14.2
5d36d8