docs: Update INSTALL.md

Revise alternate method of adding source to .zshrc

Co-authored-by: Daniel Shahaf <d.s@daniel.shahaf.name>
This commit is contained in:
Mario Cardenas 2021-08-22 14:38:37 -04:00 committed by GitHub
parent c34dd4a471
commit 366fce6ece
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -56,7 +56,7 @@ script location for source is unknown. If you do, please submit a documentation
Then restart zsh (such as by opening a new instance of your terminal emulator). Then restart zsh (such as by opening a new instance of your terminal emulator).
If your .zshrc file is somewhere other than `/home`, or if above the command fails, add the `source` command manually **at the end** of your `.zshrc`: Alternatively, add the `source` command manually **at the end** of your `.zshrc`:
* On most Linux distributions (except perhaps NixOS): * On most Linux distributions (except perhaps NixOS):
`source /usr/share/zsh-syntax-highlighting/zsh-syntax-highlighting.zsh` `source /usr/share/zsh-syntax-highlighting/zsh-syntax-highlighting.zsh`