Add Red Hat Text fonts
This commit is contained in:
parent
b5a6fb2c10
commit
950d40eff7
2 changed files with 14 additions and 5 deletions
|
@ -21,6 +21,9 @@
|
|||
vars:
|
||||
packages:
|
||||
- git-gui
|
||||
- redhat-display-fonts
|
||||
- redhat-mono-fonts
|
||||
- redhat-text-fonts
|
||||
- name: Check for Gnome Shell
|
||||
ansible.builtin.stat:
|
||||
path: /usr/bin/gnome-shell
|
||||
|
|
|
@ -168,10 +168,16 @@ set_misc_preferences () {
|
|||
gsettings set org.gnome.desktop.interface enable-hot-corners true
|
||||
|
||||
# Configure fonts.
|
||||
if test -r /usr/share/fonts/redhat/RedHatText-Regular.otf
|
||||
then
|
||||
gsettings set org.gnome.desktop.interface document-font-name 'Red Hat Text Regular 11'
|
||||
gsettings set org.gnome.desktop.interface font-name 'Red Hat Text Regular 11'
|
||||
else
|
||||
gsettings reset org.gnome.desktop.interface document-font-name
|
||||
gsettings reset org.gnome.desktop.interface font-name
|
||||
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 10'
|
||||
fi
|
||||
gsettings reset org.gnome.desktop.wm.preferences titlebar-font
|
||||
gsettings set org.gnome.desktop.interface monospace-font-name 'Monospace 10'
|
||||
|
||||
# Always show the Accessibility menu.
|
||||
gsettings set org.gnome.desktop.a11y always-show-universal-access-status true
|
||||
|
@ -181,8 +187,8 @@ set_misc_preferences () {
|
|||
gsettings set org.gnome.clocks world-clocks "[{'location': <(uint32 2, <('Halifax', 'CYHZ', true, [(0.78336194011902394, -1.1082840750163994)], [(0.77928951101546806, -1.1100294042683936)])>)>}, {'location': <(uint32 2, <('Coordinated Universal Time (UTC)', '@UTC', false, @a(dd) [], @a(dd) [])>)>}, {'location': <(uint32 2, <('London', 'EGWU', false, [(0.89971722940307675, -0.007272211034407213)], [(0.89971722940307675, -0.007272211034407213)])>)>}, {'location': <(uint32 2, <('Berlin', 'EDDB', true, [(0.91426163401859872, 0.23591034304566436)], [(0.91658875132345297, 0.23387411976724018)])>)>}, {'location': <(uint32 2, <('Vancouver', 'CYVR', false, [(0.85841109795478021, -2.1496638678574467)], [(0.85841109795478021, -2.1496638678574467)])>)>}]"
|
||||
|
||||
# Enable Night Light.
|
||||
gsettings set org.gnome.settings-daemon.plugins.color night-light-enabled 'true'
|
||||
gsettings set org.gnome.settings-daemon.plugins.color night-light-schedule-automatic 'true'
|
||||
gsettings set org.gnome.settings-daemon.plugins.color night-light-enabled 'false'
|
||||
gsettings set org.gnome.settings-daemon.plugins.color night-light-schedule-automatic 'false'
|
||||
|
||||
# Remove the wallpaper.
|
||||
gsettings set org.gnome.desktop.background color-shading-type 'solid'
|
||||
|
|
Loading…
Reference in a new issue