From c185ccb2a2c5adfa8d6d3e255eb62d086b8193e4 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Sun, 19 Nov 2023 21:57:17 +0000 Subject: [PATCH] Use Berkeley Mono in Gnome and VS Code --- roles/home-gui/files/gnome-setup.sh | 2 +- roles/home-gui/files/vscode-settings.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 17aaa07..81552c6 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -140,7 +140,7 @@ set_misc_preferences () { # 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 monospace-font-name 'Monospace 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' # Always show the Accessibility menu. diff --git a/roles/home-gui/files/vscode-settings.json b/roles/home-gui/files/vscode-settings.json index bb149d5..e572640 100644 --- a/roles/home-gui/files/vscode-settings.json +++ b/roles/home-gui/files/vscode-settings.json @@ -3,7 +3,7 @@ "editor.indentSize": 2 }, "debug.console.historySuggestions": false, - "editor.fontFamily": "'monospace', 'Cascadia Code', Consolas, 'Courier New'", + "editor.fontFamily": "'Berkeley Mono', 'Cascadia Code', Consolas, 'Courier New', 'monospace'", "editor.fontLigatures": false, "editor.fontSize": 12, "editor.renderWhitespace": "all",