From 3baae5d7527a8e9a6bde3124d93b2d6df466e837 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 17 Oct 2023 21:59:00 +0100 Subject: [PATCH] Fix 'Open in Terminal' working directory --- roles/home-gui/files/gnome-setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 2845051..c0d03f4 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -77,7 +77,7 @@ set_gnome_terminal_preferences () { '#2E3436', '#CC0000', '#4E9A06', '#C4A000', '#3465A4', '#75507B', '#06989A', '#D3D7CF', '#555753', '#EF2929', '#8AE234', '#FCE94F', '#729FCF', '#AD7FA8', '#34E2E2', '#EEEEEC' ]" - gsettings set "$defaultprofile" preserve-working-directory 'never' + gsettings set "$defaultprofile" preserve-working-directory 'always' gsettings set "$defaultprofile" use-theme-colors false } set_gnome_terminal_preferences