Zsh: Try recording run-time in history again
last time it borked. 🤞
This commit is contained in:
parent
7e5f7f58e7
commit
388b3d349b
|
@ -68,17 +68,17 @@ export SAVEHIST=10000 # On disk.
|
|||
# The optional three formats: "mm/dd/yyyy"|"dd.mm.yyyy"|"yyyy-mm-dd"
|
||||
HIST_STAMPS="yyyy-mm-dd"
|
||||
# Write command to history file after it is finished, with time and duration.
|
||||
# setopt NO_SHARE_HISTORY EXTENDED_HISTORY INC_APPEND_HISTORY_TIME
|
||||
setopt EXTENDED_HISTORY SHARE_HISTORY
|
||||
setopt HIST_EXPIRE_DUPS_FIRST HIST_IGNORE_DUPS HIST_IGNORE_SPACE
|
||||
setopt NO_SHARE_HISTORY EXTENDED_HISTORY INC_APPEND_HISTORY_TIME
|
||||
# setopt EXTENDED_HISTORY SHARE_HISTORY
|
||||
setopt HIST_EXPIRE_DUPS_FIRST HIST_IGNORE_DUPS HIST_IGNORE_SPACE HIST_REDUCE_BLANKS
|
||||
setopt HIST_VERIFY
|
||||
|
||||
# Import new commands from the history file.
|
||||
function precmd_history
|
||||
{
|
||||
fc -RI
|
||||
fc -R -I
|
||||
}
|
||||
# precmd_functions+=precmd_history
|
||||
precmd_functions+=precmd_history
|
||||
|
||||
############################## Completion ######################################
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user