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 /deploy.sh | |
| parent | dc3754638498a79a6bdfe7a28cda63b06d03d42e (diff) | |
gtk: add dark mode settings for gtk-3.0
Diffstat (limited to 'deploy.sh')
| -rwxr-xr-x | deploy.sh | 3 |
1 files changed, 3 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" |