From c759af0a8972a7f403376accf1b09d87d4b9649f Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 16 Feb 2023 21:26:44 +0000 Subject: [PATCH] Disable bell and don't save working dir --- roles/home-gui/files/gnome-setup.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 0daa541..25762e1 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -51,6 +51,7 @@ set_gnome_terminal_preferences () { gsettings set org.gnome.Terminal.Legacy.Settings theme-variant 'dark' defaultprofile="org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/" + gsettings set "$defaultprofile" audible-bell false gsettings set "$defaultprofile" background-color '#101010' gsettings set "$defaultprofile" default-size-columns 132 gsettings set "$defaultprofile" default-size-rows 24 @@ -59,6 +60,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" use-theme-colors false } set_gnome_terminal_preferences