diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index ce5f557..bed55d8 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -91,10 +91,10 @@ set_misc_preferences () { gsettings set org.gnome.desktop.background color-shading-type 'solid' # Configure fonts. - gsettings set org.gnome.desktop.interface document-font-name 'Noto Sans 11' - gsettings set org.gnome.desktop.interface font-name 'Noto Sans 11' + gsettings set org.gnome.desktop.interface document-font-name 'Sans 11' + gsettings set org.gnome.desktop.interface font-name 'Sans 11' gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 11' - gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans Bold 11' + gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 11' } set_misc_preferences