Marc Cornellà 405b8f220a zsh_reload: use exec zsh instead of source ~/.zshrc ...

`source ~/.zshrc` is a bad practice, it doesn't make sure that the full
zsh session is reloaded and it may have side effects.

Use `$SHELL` as the path to zsh if it exists (this will fix edge cases
where the zsh used is not the first on $PATH). Otherwise, use `zsh`.

2018-04-22 12:55:13 +02:00

322 B

Raw Blame History

View Raw