From 22bb4b99138494c68bcb93040ac063be6fd5f05d Mon Sep 17 00:00:00 2001 From: Mylloon Date: Tue, 27 Sep 2022 11:46:28 +0200 Subject: [PATCH] resize terminal --- arch.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arch.sh b/arch.sh index eb27cb6..ef6cdb4 100644 --- a/arch.sh +++ b/arch.sh @@ -112,7 +112,7 @@ then gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ background-color "rgb(45,45,45)" # Size and font gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-system-font false - gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ default-size-columns 100 + gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ default-size-columns 105 gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ default-size-rows 25 gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ font "MesloLGM Nerd Font 12" gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:"${profil:2:-2}"/ use-system-font false