diff options
| -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 |
