shell/zsh: more flexible ZDOTDIR in system zshenv

This commit is contained in:
Henrik Lissner 2018-02-21 18:26:21 -05:00
parent ff3cfca0f5
commit 64aad58d58
No known key found for this signature in database
GPG key ID: 5F6C0EA160557395

View file

@ -18,7 +18,7 @@ install() {
local zsh="$(which zsh)" local zsh="$(which zsh)"
grep $zsh /etc/shells &>/dev/null || sudo tee -a /etc/shells <<<$zsh grep $zsh /etc/shells &>/dev/null || sudo tee -a /etc/shells <<<$zsh
sudo tee $zshenv <<<"export ZDOTDIR='$ZDOTDIR'" sudo tee $zshenv <<<"export ZDOTDIR=\"${ZDOTDIR/$HOME/\$HOME}\""
} }
update() { update() {