Replace "restart shell" documentation "exec zsh" (#8411)

Running `source ~/.zshrc` can have side effects, it's better to reload the whole 
zsh session with `exec zsh`.
This commit is contained in:
Jacob Tomaw authored and Marc Cornellà committed 2019-11-19 19:44:00 +01:00
1 parent 1ba0af650a
commit c130aadb6a
5 files changed
+10 -10

No files matched your search

+2 -2
View File
@@ -13,10 +13,10 @@ Easily prefix your current or previous commands with `sudo` by pressing <kbd>esc
)
```
2. Reload the source file or restart your Terminal session:
2. Restart your shell or restart your Terminal session:
```console
$ source ~/.zshrc
$ exec zsh
$
```