diff options
Diffstat (limited to 'gnome-base/gnome-session/files/3.22.3-wayland-login-shell.patch')
-rw-r--r-- | gnome-base/gnome-session/files/3.22.3-wayland-login-shell.patch | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/gnome-base/gnome-session/files/3.22.3-wayland-login-shell.patch b/gnome-base/gnome-session/files/3.22.3-wayland-login-shell.patch deleted file mode 100644 index f82825f4822e..000000000000 --- a/gnome-base/gnome-session/files/3.22.3-wayland-login-shell.patch +++ /dev/null @@ -1,43 +0,0 @@ -From 97229b322d30cf531e7b7cc7757f83ed80e831bc Mon Sep 17 00:00:00 2001 -From: Ray Strode <rstrode@redhat.com> -Date: Thu, 5 Jan 2017 10:02:58 -0500 -Subject: [PATCH 1/3] gnome-session: make sure wayland sessions get a login - shell - -Users expect their shell profiles to get sourced at startup, which -doesn't happen with wayland sessions. - -This commit brings back that feature, by making the gnome-session -wrapper script run a login shell. - -https://bugzilla.gnome.org/show_bug.cgi?id=736660 ---- - gnome-session/gnome-session.in | 13 +++++++++++++ - 1 file changed, 13 insertions(+) - -diff --git a/gnome-session/gnome-session.in b/gnome-session/gnome-session.in -index 530299d..04ea741 100644 ---- a/gnome-session/gnome-session.in -+++ b/gnome-session/gnome-session.in -@@ -1,5 +1,18 @@ - #!/bin/sh - -+if [ "x$XDG_SESSION_TYPE" = "xwayland" ] && -+ [ "x$XDG_SESSION_CLASS" != "xgreeter" ] && -+ [ -n "$SHELL" ] && -+ grep -q "$SHELL" /etc/shells && -+ ! (echo "$SHELL" | grep -q "false") && -+ ! (echo "$SHELL" | grep -q "nologin"); then -+ if [ "$1" != '-l' ]; then -+ exec bash -c "exec -l '$SHELL' -c '$0 -l $*'" -+ else -+ shift -+ fi -+fi -+ - SETTING=$(gsettings get org.gnome.system.locale region) - REGION=${SETTING#\'} - REGION=${REGION%\'} --- -2.10.1 - |