Make Gnome Terminal larger

This commit is contained in:
Anthony Rose 2024-11-09 22:57:28 +00:00
parent 6ac4b0e565
commit 882ab7db9c

View file

@ -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 \')/" _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" audible-bell false
gsettings set "$_acp_terminal_profile" default-size-columns 132 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 "[ gsettings set "$_acp_terminal_profile" palette "[
'#2E3436', '#CC0000', '#4E9A06', '#C4A000', '#3465A4', '#75507B', '#06989A', '#D3D7CF', '#2E3436', '#CC0000', '#4E9A06', '#C4A000', '#3465A4', '#75507B', '#06989A', '#D3D7CF',
'#555753', '#EF2929', '#8AE234', '#FCE94F', '#729FCF', '#AD7FA8', '#34E2E2', '#EEEEEC' '#555753', '#EF2929', '#8AE234', '#FCE94F', '#729FCF', '#AD7FA8', '#34E2E2', '#EEEEEC'
]" ]"
gsettings set "$_acp_terminal_profile" preserve-working-directory 'always' gsettings set "$_acp_terminal_profile" preserve-working-directory 'always'
gsettings set "$_acp_terminal_profile" use-theme-colors false gsettings set "$_acp_terminal_profile" use-theme-colors false
gsettings set "$_acp_terminal_profile" use-system-font false
if [ -n "$_acp_dark_mode" ] if [ -n "$_acp_dark_mode" ]
then then
gsettings set "$_acp_terminal_profile" background-color '#101010' gsettings set "$_acp_terminal_profile" background-color '#101010'