diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-05-25 22:43:56 +0200 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-05-25 22:43:56 +0200 |
| commit | c8cda0779c3289c027a35b38a3644eac810c9e54 (patch) | |
| tree | c52146840be0e86f6cd96ccd020efa6c10cc9394 | |
| parent | dc3754638498a79a6bdfe7a28cda63b06d03d42e (diff) | |
gtk: add dark mode settings for gtk-3.0
| -rwxr-xr-x | deploy.sh | 3 | ||||
| -rw-r--r-- | gtk-3.0-settings.ini | 2 |
2 files changed, 5 insertions, 0 deletions
@@ -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 |
