diff options
author | Robby Russell <robby@planetargon.com> | 2013-03-26 21:47:58 -0700 |
---|---|---|
committer | Robby Russell <robby@planetargon.com> | 2013-03-26 21:47:58 -0700 |
commit | 650bace5c52897e9349d9401ebb8c862f3de7ae8 (patch) | |
tree | 17235242bec19be62df2e50d10d7c62a67d977de | |
parent | b0d80a0175e0a5c38ff824b3a80e09d4c386244c (diff) | |
parent | 3826c7bf85b0005438c872fedc7aa1b4174e82c9 (diff) | |
download | zsh-650bace5c52897e9349d9401ebb8c862f3de7ae8.tar.gz zsh-650bace5c52897e9349d9401ebb8c862f3de7ae8.tar.bz2 zsh-650bace5c52897e9349d9401ebb8c862f3de7ae8.zip |
Merge pull request #1663 from flavius/master
allow setting a custom HISTFILE before oh-my-zsh is loaded
-rw-r--r-- | lib/history.zsh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/history.zsh b/lib/history.zsh index 876936b87..655945166 100644 --- a/lib/history.zsh +++ b/lib/history.zsh @@ -1,5 +1,7 @@ ## Command history configuration -HISTFILE=$HOME/.zsh_history +if [ -z $HISTFILE ]; then + HISTFILE=$HOME/.zsh_history +fi HISTSIZE=10000 SAVEHIST=10000 |