diff options
| -rw-r--r-- | desktop/gnome-session/0002-gnome-session-add-profile-sourcing.patch | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/desktop/gnome-session/0002-gnome-session-add-profile-sourcing.patch b/desktop/gnome-session/0002-gnome-session-add-profile-sourcing.patch index 6628105660..a50466c28c 100644 --- a/desktop/gnome-session/0002-gnome-session-add-profile-sourcing.patch +++ b/desktop/gnome-session/0002-gnome-session-add-profile-sourcing.patch @@ -1,7 +1,21 @@ diff -Naur gnome-session-42.0/gnome-session/gnome-session.in gnome-session-42.0-patched/gnome-session/gnome-session.in --- gnome-session-42.0/gnome-session/gnome-session.in 2022-03-21 15:13:31.651419000 -0500 -+++ gnome-session-42.0-patched/gnome-session/gnome-session.in 2022-08-09 01:15:35.293264706 -0500 -@@ -13,6 +13,16 @@ ++++ gnome-session-42.0-patched/gnome-session/gnome-session.in 2022-11-13 12:24:01.155570483 -0600 +@@ -1,5 +1,13 @@ + #!/bin/sh + ++# Include gnome-shell's custom built schemas in XDG_DATA_DIRS, ++# which allows the new settings to show up in dconf-editor: ++SYS_DATADIR=/usr/share ++ALT_DATADIR=$SYS_DATADIR/gnome-shell/gsettings-desktop-schemas ++if [ -e "$ALT_DATADIR" ]; then ++ export XDG_DATA_DIRS=$ALT_DATADIR:$SYS_DATADIR:$XDG_DATA_DIRS ++fi ++ + if [ "x$XDG_SESSION_TYPE" = "xwayland" ] && + [ "x$XDG_SESSION_CLASS" != "xgreeter" ] && + [ -n "$SHELL" ] && +@@ -13,6 +21,16 @@ fi fi |