Created
January 20, 2011 00:00
-
-
Save matthewmccullough/787142 to your computer and use it in GitHub Desktop.
A configuration to maintain history across sessions and share it across terminals in ZShell
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
############################################################################## | |
# History Configuration | |
############################################################################## | |
HISTSIZE=5000 #How many lines of history to keep in memory | |
HISTFILE=~/.zsh_history #Where to save history to disk | |
SAVEHIST=5000 #Number of history entries to save to disk | |
#HISTDUP=erase #Erase duplicates in the history file | |
setopt appendhistory #Append history to the history file (no overwriting) | |
setopt sharehistory #Share history across terminals | |
setopt incappendhistory #Immediately append to the history file, not just when a term is killed |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Hey. I use someone else's .zshrc config and there were two lines in it. The first one was
#setopt SHARE_HISTORY
and the second one wassetopt sharehistory
, like in your snippet. Do you know what the difference would be between the two?