typo in docs

pull/527/head
Roman Perepelitsa 5 years ago committed by GitHub
parent c4ffe42f7d
commit 1489727c38
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -1233,7 +1233,7 @@ It's almost always a bad idea to run `source ~/.zshrc`, whether you are using Po
This command may result in random errors, misbehaving code and progressive slowdown of Zsh. This command may result in random errors, misbehaving code and progressive slowdown of Zsh.
If you've made changes to `~/.zshrc` or to files sourced by it, restart Zsh to apply them. The most If you've made changes to `~/.zshrc` or to files sourced by it, restart Zsh to apply them. The most
reliable way to do this is to type `exit` and then start start a new Zsh session. You can also use reliable way to do this is to type `exit` and then start a new Zsh session. You can also use
`exec zsh`. While not exactly equivalent to complete Zsh restart, this command is much more reliable `exec zsh`. While not exactly equivalent to complete Zsh restart, this command is much more reliable
than `source ~/.zshrc`. than `source ~/.zshrc`.

Loading…
Cancel
Save