summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorReiner Herrmann <reiner@reiner-h.de>2023-05-25 22:43:56 +0200
committerReiner Herrmann <reiner@reiner-h.de>2023-05-25 22:43:56 +0200
commitc8cda0779c3289c027a35b38a3644eac810c9e54 (patch)
treec52146840be0e86f6cd96ccd020efa6c10cc9394
parentdc3754638498a79a6bdfe7a28cda63b06d03d42e (diff)
gtk: add dark mode settings for gtk-3.0
-rwxr-xr-xdeploy.sh3
-rw-r--r--gtk-3.0-settings.ini2
2 files changed, 5 insertions, 0 deletions
diff --git a/deploy.sh b/deploy.sh
index 879e44a..37f7b77 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -39,6 +39,9 @@ ln -sf ${CONFIG_DIR}/debian/lintianrc ${HOME}/.config/lintian/lintianrc
ln -sf ${CONFIG_DIR}/debian/gbp.conf ${HOME}/.gbp.conf
ln -sf ${CONFIG_DIR}/debian/devscripts ${HOME}/.devscripts
+mkdir -p ${HOME}/.config/gtk-3.0
+ln -sf ${CONFIG_DIR}/gtk-3.0-settings.ini ${HOME}/.config/gtk-3.0/settings.ini
+
for profile in ${HOME}/.mozilla/firefox/*.default ${HOME}/.mozilla/firefox/*.default-release; do
[ ! -d "$profile" ] && continue
mkdir -p "$profile/chrome"
diff --git a/gtk-3.0-settings.ini b/gtk-3.0-settings.ini
new file mode 100644
index 0000000..5dbd750
--- /dev/null
+++ b/gtk-3.0-settings.ini
@@ -0,0 +1,2 @@
+[Settings]
+gtk-application-prefer-dark-theme=true