From 882ab7db9c3a0826992a47d38345fcd2de78c051 Mon Sep 17 00:00:00 2001 From: Anthony Rose Date: Sat, 9 Nov 2024 22:57:28 +0000 Subject: [PATCH] Make Gnome Terminal larger --- roles/home-gui/files/gnome-setup.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 2555bbb..fcd83fb 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -73,13 +73,15 @@ set_gnome_terminal_preferences () { _acp_terminal_profile="org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default | tr -d \')/" gsettings set "$_acp_terminal_profile" audible-bell false gsettings set "$_acp_terminal_profile" default-size-columns 132 - gsettings set "$_acp_terminal_profile" default-size-rows 24 + gsettings set "$_acp_terminal_profile" default-size-rows 43 + gsettings set "$_acp_terminal_profile" font 'Monospace 11' gsettings set "$_acp_terminal_profile" palette "[ '#2E3436', '#CC0000', '#4E9A06', '#C4A000', '#3465A4', '#75507B', '#06989A', '#D3D7CF', '#555753', '#EF2929', '#8AE234', '#FCE94F', '#729FCF', '#AD7FA8', '#34E2E2', '#EEEEEC' ]" gsettings set "$_acp_terminal_profile" preserve-working-directory 'always' gsettings set "$_acp_terminal_profile" use-theme-colors false + gsettings set "$_acp_terminal_profile" use-system-font false if [ -n "$_acp_dark_mode" ] then gsettings set "$_acp_terminal_profile" background-color '#101010'