ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use a slightly different orange

Browse source
This commit is contained in:
Anthony Rose 2022-01-11 21:09:06 +00:00
parent 95fafb6ef9
commit 6a97123cae
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
roles/home-gui/files/gnome-setup.sh
View file

@ -47,8 +47,8 @@ set_gnome_terminal_preferences () {
gsettings set org.gnome.Terminal.Legacy.Settings shortcuts-enabled false 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 \')/" 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 background-color '#000000'
gsettings set $defaultprofile foreground-color 'rgb(255,136,0)' gsettings set $defaultprofile foreground-color '#FF8000'
gsettings set $defaultprofile palette "[ gsettings set $defaultprofile palette "[
'#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#808080', '#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#808080',
'#C0C0C0', '#FF0000', '#00FF00', '#FFFF00', '#0000FF', '#FF00FF', '#00FFFF', '#FFFFFF' '#C0C0C0', '#FF0000', '#00FF00', '#FFFF00', '#0000FF', '#FF00FF', '#00FFFF', '#FFFFFF'