From 9dd89d2740fe4767ba4743702f552e170b381dc3 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Fri, 8 Apr 2022 20:55:28 +0100 Subject: [PATCH] Make terminal slightly lighter so I can see the borders --- 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 59442a0..2baa2b0 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -48,7 +48,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 background-color '#000000' + gsettings set $defaultprofile background-color '#080808' gsettings set $defaultprofile foreground-color '#C0C0C0' gsettings set $defaultprofile palette "[ '#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#C0C0C0',