annotate zsh/history.zsh @ 167:01ae1be4f236

Remove unused plugin
author zegervdv <zegervdv@me.com>
date Fri, 31 Oct 2014 07:36:21 +0100
parents 87498dbd779a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
151
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
1 # HISTORY
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
2 HISTSIZE=3000
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
3 SAVEHIST=3000
87498dbd779a Move away from oh-my-zsh
zegervdv <zegervdv@me.com>
parents:
diff changeset
4 HISTFILE=~/.zsh_history