From 6a97123cae217ee9aab2f21c5b748ca277ad6829 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Tue, 11 Jan 2022 21:09:06 +0000 Subject: [PATCH] Use a slightly different orange --- roles/home-gui/files/gnome-setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index d1c3464..cf89dcd 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -47,8 +47,8 @@ set_gnome_terminal_preferences () { gsettings set org.gnome.Terminal.Legacy.Settings shortcuts-enabled false 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 'rgb(0,0,0)' - gsettings set $defaultprofile foreground-color 'rgb(255,136,0)' + gsettings set $defaultprofile background-color '#000000' + gsettings set $defaultprofile foreground-color '#FF8000' gsettings set $defaultprofile palette "[ '#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#808080', '#C0C0C0', '#FF0000', '#00FF00', '#FFFF00', '#0000FF', '#FF00FF', '#00FFFF', '#FFFFFF'