Store timestamps in command history

This commit is contained in:
ItsDrike 2022-08-23 10:53:33 +02:00
parent f4d3da10ee
commit fcdd9df1a6
No known key found for this signature in database
GPG key ID: B014E761034AF742
3 changed files with 3 additions and 0 deletions

View file

@ -35,6 +35,7 @@ SAVEHIST=10000
setopt appendhistory # save history entries as soon as they are entered
setopt hist_ignore_space # ignore commands that start with space
setopt hist_verify # show commands with history expansion to user before running it
setopt extended_history # record command start time
#setopt hist_ignore_dups # ignore duplicated commands history list
#setopt hist_expire_dups_first # delete duplicates first when HISTFILE size exceeds HISTFILE
#setopt share_history # share command history data between terminals