From 52edd2c7e279e0c893845cce314bac8192e8e036 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 21 Sep 2023 08:51:28 +0100 Subject: [PATCH] Prefer dark theme in Gnome --- roles/home-gui/files/gnome-setup.sh | 3 +++ 1 file changed, 3 insertions(+) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 77a9026..f066a85 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -155,6 +155,9 @@ set_misc_preferences () { gsettings set org.gnome.desktop.background primary-color '#000000' gsettings set org.gnome.desktop.background secondary-color '#000000' + # Prefer the dark theme. + gsettings set org.gnome.desktop.interface color-scheme 'prefer-dark' + gsettings set org.gnome.desktop.interface gtk-theme 'Adwaita-dark' } set_misc_preferences