diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:43:31 +0100 |
|---|---|---|
| committer | Reiner Herrmann <reiner@reiner-h.de> | 2023-01-02 19:43:31 +0100 |
| commit | e8f84a3beb6f5fcf328551ffc2d39fe4a06827f3 (patch) | |
| tree | ee948aff20edb20412fc993369b3d71320a633a0 | |
| parent | 9cd25aaf2c9275ffdfd8daf34acc87f49add9912 (diff) | |
deploy.sh: check for firefox profile in alternate path
| -rwxr-xr-x | deploy.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -22,7 +22,8 @@ ln -sf ${CONFIG_DIR}/muttrc ${HOME}/.mutt/muttrc ln -sf ${CONFIG_DIR}/ripgreprc ${HOME}/.config/ripgreprc -for profile in ${HOME}/.mozilla/firefox/*.default; do +for profile in ${HOME}/.mozilla/firefox/*.default ${HOME}/.mozilla/firefox/*.default-release; do + [ ! -d "$profile" ] && continue mkdir -p "$profile/chrome" ln -sf ${CONFIG_DIR}/firefox/user.js "$profile/user.js" ln -sf ${CONFIG_DIR}/firefox/userChrome.css "$profile/chrome/userChrome.css" |