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

Set default terminal size

Browse source
This commit is contained in:
Anthony Rose 2022-07-17 21:44:06 +01:00
parent 00ae7b6952
commit 54bdae46cf
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -54,6 +54,8 @@ set_gnome_terminal_preferences () {
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 '#101010' gsettings set $defaultprofile background-color '#101010'
gsettings set $defaultprofile default-size-columns 132
gsettings set $defaultprofile default-size-rows 43
gsettings set $defaultprofile foreground-color '#C0C0C0' gsettings set $defaultprofile foreground-color '#C0C0C0'
gsettings set $defaultprofile palette "[ gsettings set $defaultprofile palette "[
'#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#C0C0C0', '#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#C0C0C0',