From 3f42749bee3f79f0307d7b6db220f5106a9946e1 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Wed, 16 Nov 2022 22:08:16 +0000 Subject: [PATCH] Don't restore Gnome Text Editor settings --- roles/home-gui/files/gnome-setup.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 352e05b..e69c668 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -60,6 +60,14 @@ set_gnome_terminal_preferences () { } set_gnome_terminal_preferences +set_gnome_text_editor_preferences () { + if gsettings list-schemas | grep '^org.gnome.TextEditor$' > /dev/null + then + gsettings set org.gnome.TextEditor restore-session false + fi +} +set_gnome_text_editor_preferences + set_gnome_extensions () { gnomeextcmd=/usr/bin/gnome-extensions if ! [ -x $gnomeextcmd ]