From 96fcf81aeead450168e712b0e28d8ab0cf0462ed Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 30 Dec 2021 15:12:17 +0000 Subject: [PATCH] Enable Noto fonts by default --- roles/el/tasks/packages-gui.yml | 2 ++ roles/home-gui/files/fonts.conf | 3 +++ roles/home-gui/files/gnome-setup.sh | 6 ++++++ 3 files changed, 11 insertions(+) diff --git a/roles/el/tasks/packages-gui.yml b/roles/el/tasks/packages-gui.yml index 8af4a2a..a2d62c8 100644 --- a/roles/el/tasks/packages-gui.yml +++ b/roles/el/tasks/packages-gui.yml @@ -21,6 +21,8 @@ vars: packages: - git-gui + - google-noto-sans-fonts + - google-noto-serif-fonts - liberation-fonts - vim-X11 - name: Check for Gnome Shell diff --git a/roles/home-gui/files/fonts.conf b/roles/home-gui/files/fonts.conf index 81ade56..32e97f6 100644 --- a/roles/home-gui/files/fonts.conf +++ b/roles/home-gui/files/fonts.conf @@ -52,6 +52,7 @@ serif + Noto Serif DejaVu Serif Bitstream Vera Serif Times New Roman @@ -66,6 +67,7 @@ sans-serif + Noto Sans DejaVu Sans Bitstream Vera Sans Verdana @@ -82,6 +84,7 @@ monospace + Noto Sans Mono DejaVu Sans Mono Bitstream Vera Sans Mono Inconsolata diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 2843202..ce5f557 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -89,6 +89,12 @@ set_misc_preferences () { gsettings set org.gnome.desktop.background primary-color '#023c88' gsettings set org.gnome.desktop.background secondary-color '#5789ca' 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 monospace-font-name 'Monospace 11' + gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Noto Sans Bold 11' } set_misc_preferences