gnome_gsettings_font_size.sh

#!/usr/bin/env bash

profiles_path='org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:'
prof=$(gsettings get org.gnome.Terminal.ProfilesList default | awk -F\' '{print $2}')
name=$(gsettings get "$profiles_path/:$prof/" visible-name)

size=20
font="'Monospace $size'"

# echo -e "$profiles_path/:$prof/"

# gnome-terminal font size
echo -e "Setting the font for terminal profile $name to $font\n"
gsettings set "$profiles_path/:$prof/" use-system-font false
gsettings set "$profiles_path/:$prof/" font "$font"


# gedit editor font size
echo -e "Setting the gedit font to $font\n"
gsettings set org.gnome.gedit.preferences.editor use-default-font false
gsettings set org.gnome.gedit.preferences.editor editor-font "$font"

This might come in handy for presentations or small screens. 💡