From 2e2b5ecaa8a07607ea3dd8446bef86caeb52d972 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Mon, 20 Nov 2023 15:55:35 +0000 Subject: [PATCH] Use Berkeley Mono everywhere! --- roles/home-gui/files/gnome-setup.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 81552c6..ca0e135 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -138,10 +138,10 @@ set_misc_preferences () { gsettings set org.gnome.desktop.interface enable-hot-corners false # Configure fonts. - gsettings set org.gnome.desktop.interface document-font-name 'Sans 10' - gsettings set org.gnome.desktop.interface font-name 'Sans 10' + gsettings set org.gnome.desktop.interface document-font-name 'Berkeley Mono 10' + gsettings set org.gnome.desktop.interface font-name 'Berkeley Mono 10' gsettings set org.gnome.desktop.interface monospace-font-name 'Berkeley Mono 10' - gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Sans Bold 10' + gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Berkeley Mono Bold 10' # Always show the Accessibility menu. gsettings set org.gnome.desktop.a11y always-show-universal-access-status true