Can't change terminal font with gsettings
I am working on automating the set up of PCs.
This is from a fully updated Fedora 28. It's a bare metal install on a Lenovo M58p. The Gnome version is 3.28.2. The account I am using has Admin. This condition is 100% reproducible:
- Set the terminal font with these two commands:
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/ use-system-font false
gsettings set org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/ font 'Monospace 24'
- Read back the settings with these two commands:
gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/ use-system-font
gsettings get org.gnome.Terminal.Legacy.Profile:/org/gnome/terminal/legacy/profiles:/:$(gsettings get org.gnome.Terminal.ProfilesList default)/ font
-
observe that the Gets agree with the Sets (false and Monospace 24)
-
Close and re-open gnome terminal and observe that the font is unchanged. Open Edit -> Preferences -> Text and observe that that the default font is still being used.
-
Note: The Font can be changed successfully from the Edit -> Preferences -> Text panel.