From c8cda0779c3289c027a35b38a3644eac810c9e54 Mon Sep 17 00:00:00 2001 From: Reiner Herrmann Date: Thu, 25 May 2023 22:43:56 +0200 Subject: gtk: add dark mode settings for gtk-3.0 --- deploy.sh | 3 +++ gtk-3.0-settings.ini | 2 ++ 2 files changed, 5 insertions(+) create mode 100644 gtk-3.0-settings.ini 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 -- cgit v1.2.3