From 54bdae46cf8d69d60a996a69b3b6dfecfbafdb08 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Sun, 17 Jul 2022 21:44:06 +0100 Subject: [PATCH] Set default terminal size --- 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 8f043e1..f6bf00f 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -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 \')/" 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 palette "[ '#000000', '#800000', '#008000', '#808000', '#000080', '#800080', '#008080', '#C0C0C0',