From c5ecca989d314fa2e5ec9f9c8e347f05b4ef4134 Mon Sep 17 00:00:00 2001 From: Anthony Rose Date: Mon, 11 Nov 2024 08:36:04 +0000 Subject: [PATCH] Update Vivaldi launcher and change Terminal font --- roles/home-gui/files/gnome-setup.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index fcd83fb..497d98b 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -13,7 +13,7 @@ set_favorites_bar () { then gsettings set org.gnome.shell favorite-apps "$(cat "${XDG_CONFIG_HOME:-$HOME/.config}/favorite-apps.conf")" else - gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Console.desktop', 'org.gnome.Nautilus.desktop', 'vivaldi-stable.desktop', 'org.mozilla.firefox.desktop', 'org.keepassxc.KeePassXC.desktop']" + gsettings set org.gnome.shell favorite-apps "['org.gnome.Terminal.desktop', 'org.gnome.Console.desktop', 'org.gnome.Nautilus.desktop', 'com.vivaldi.Vivaldi.desktop', 'org.mozilla.firefox.desktop', 'org.keepassxc.KeePassXC.desktop']" fi } set_favorites_bar @@ -81,7 +81,7 @@ set_gnome_terminal_preferences () { ]" gsettings set "$_acp_terminal_profile" preserve-working-directory 'always' gsettings set "$_acp_terminal_profile" use-theme-colors false - gsettings set "$_acp_terminal_profile" use-system-font false + gsettings set "$_acp_terminal_profile" use-system-font true if [ -n "$_acp_dark_mode" ] then gsettings set "$_acp_terminal_profile" background-color '#101010'