dominic
/
prezto
1
0
Fork 0
Code Releases Activity

Removed redundant APPEND_HISTORY option.

Browse Source
pull/4/head
Sorin Ionescu 13 years ago
parent 7043b0c03f
commit c8b8861418
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File

1
history.zsh
Unescape View File

@ -4,7 +4,6 @@ SAVEHIST=10000
setopt BANG_HIST # Treat the '!' character specially during expansion. setopt BANG_HIST # Treat the '!' character specially during expansion.
setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format. setopt EXTENDED_HISTORY # Write the history file in the ":start:elapsed;command" format.
setopt APPEND_HISTORY # Append to the history file, don't replace it.
setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits. setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
setopt SHARE_HISTORY # Share history between all sessions. setopt SHARE_HISTORY # Share history between all sessions.
setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history. setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.

Write Preview
Loading…
Cancel
Save