ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Enable Noto fonts by default

Browse source
This commit is contained in:
Anthony Rose 2021-12-30 15:12:17 +00:00
parent 760e500f46
commit 96fcf81aee
3 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
roles/el/tasks/packages-gui.yml
View file

@ -21,6 +21,8 @@
vars: vars:
packages: packages:
- git-gui - git-gui
- google-noto-sans-fonts
- google-noto-serif-fonts
- liberation-fonts - liberation-fonts
- vim-X11 - vim-X11
- name: Check for Gnome Shell - name: Check for Gnome Shell

3
roles/home-gui/files/fonts.conf
View file

@ -52,6 +52,7 @@
<alias> <alias>
<family>serif</family> <family>serif</family>
<prefer> <prefer>
<family>Noto Serif</family>
<family>DejaVu Serif</family> <family>DejaVu Serif</family>
<family>Bitstream Vera Serif</family> <family>Bitstream Vera Serif</family>
<family>Times New Roman</family> <family>Times New Roman</family>
@ -66,6 +67,7 @@
<alias> <alias>
<family>sans-serif</family> <family>sans-serif</family>
<prefer> <prefer>
<family>Noto Sans</family>
<family>DejaVu Sans</family> <family>DejaVu Sans</family>
<family>Bitstream Vera Sans</family> <family>Bitstream Vera Sans</family>
<family>Verdana</family> <family>Verdana</family>
@ -82,6 +84,7 @@
<alias> <alias>
<family>monospace</family> <family>monospace</family>
<prefer> <prefer>
<family>Noto Sans Mono</family>
<family>DejaVu Sans Mono</family> <family>DejaVu Sans Mono</family>
<family>Bitstream Vera Sans Mono</family> <family>Bitstream Vera Sans Mono</family>
<family>Inconsolata</family> <family>Inconsolata</family>

6
roles/home-gui/files/gnome-setup.sh
View file

@ -89,6 +89,12 @@ set_misc_preferences () {
gsettings set org.gnome.desktop.background primary-color '#023c88' gsettings set org.gnome.desktop.background primary-color '#023c88'
gsettings set org.gnome.desktop.background secondary-color '#5789ca' gsettings set org.gnome.desktop.background secondary-color '#5789ca'
gsettings set org.gnome.desktop.background color-shading-type 'solid' 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 set_misc_preferences