|
|
@@ -72,10 +72,18 @@ if [ ! "$ZSH_VERSION" ]; then
|
|
|
PROMPT_COMMAND="history -a;$PROMPT_COMMAND"
|
|
|
else
|
|
|
SAVEHIST=$HISTSIZE
|
|
|
- setopt SHARE_HISTORY
|
|
|
- setopt EXTENDED_HISTORY
|
|
|
- setopt HIST_EXPIRE_DUPS_FIRST
|
|
|
- setopt HIST_IGNORE_SPACE # ignore if leading space
|
|
|
+ setopt EXTENDED_HISTORY # Write the history file in the ':start:elapsed;command' format.
|
|
|
+ setopt INC_APPEND_HISTORY # Write to the history file immediately, not when the shell exits.
|
|
|
+ setopt APPEND_HISTORY # append to history file
|
|
|
+ setopt SHARE_HISTORY # Share history between all sessions.
|
|
|
+ setopt HIST_EXPIRE_DUPS_FIRST # Expire a duplicate event first when trimming history.
|
|
|
+ setopt HIST_IGNORE_SPACE # Do not record an event starting with a space.
|
|
|
+ setopt HIST_IGNORE_DUPS # Do not record an event that was just recorded again.
|
|
|
+ setopt HIST_IGNORE_ALL_DUPS # Delete an old recorded event if a new event is a duplicate.
|
|
|
+ setopt HIST_FIND_NO_DUPS # Do not display a previously found event.
|
|
|
+ setopt HIST_SAVE_NO_DUPS # Do not write a duplicate event to the history file.
|
|
|
+ setopt HIST_VERIFY # Do not execute immediately upon history expansion.
|
|
|
+ setopt HIST_NO_STORE # Don't store history commands
|
|
|
fi
|
|
|
|
|
|
# Auto fetch and ask to pull if outdated once every 30 days
|
