history: Minor formatting update

main
Indrajit Raychaudhuri 4 years ago committed by GitHub
parent 76b8c810aa
commit 428632ac07
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -4,8 +4,8 @@ History
Sets [history][1] options and defines history aliases. Sets [history][1] options and defines history aliases.
**Note:** If you are migrating from oh-my-zsh and want to keep your history, you **Note:** If you are migrating from oh-my-zsh and want to keep your history, you
will either need to set HISTFILE manually to `$HOME/.zsh_history` or rename will either need to set `HISTFILE` manually to `$HOME/.zsh_history` or rename
`~/.zsh_history` to ~/.zhistory`. `~/.zsh_history` to `~/.zhistory`.
Options Options
------- -------

Loading…
Cancel
Save