summaryrefslogtreecommitdiff
path: root/.config/zsh/rc/history.rc
diff options
context:
space:
mode:
authorPaul Iannetta <paul.iannetta@inria.fr>2018-11-19 00:51:01 +0100
committerPaul Iannetta <paul.iannetta@inria.fr>2018-11-19 00:51:01 +0100
commitb209dd98527fd357e716d44ec4adb430504eae56 (patch)
tree4269768238d352dea0f2cd079c27379418d502c3 /.config/zsh/rc/history.rc
parent52967fde6b3424372a5d4790e6c5c21dc3096913 (diff)
zsh dot files
Diffstat (limited to '.config/zsh/rc/history.rc')
-rwxr-xr-x.config/zsh/rc/history.rc18
1 files changed, 18 insertions, 0 deletions
diff --git a/.config/zsh/rc/history.rc b/.config/zsh/rc/history.rc
new file mode 100755
index 0000000..cc1e892
--- /dev/null
+++ b/.config/zsh/rc/history.rc
@@ -0,0 +1,18 @@
+# vim: syntax=sh
+
+export HISTSIZE=1000 # nb of line in internal history
+export SAVEHIST=5000 # nb of line stored in $HISTFILE
+export HISTFILE=$XDG_CACHE_HOME/zsh/zsh_history
+
+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 SHARE_HISTORY # Share history between all sessions.
+setopt HIST_EXPIRE_DUPS_FIRST # Expire duplicate entries first when trimming history.
+setopt HIST_IGNORE_DUPS # Don't record an entry that was just recorded again.
+setopt HIST_IGNORE_ALL_DUPS # Delete old recorded entry if new entry is a duplicate.
+setopt HIST_FIND_NO_DUPS # Do not display a line previously found.
+setopt HIST_IGNORE_SPACE # Don't record an entry starting with a space.
+setopt HIST_SAVE_NO_DUPS # Don't write duplicate entries in the history file.
+setopt HIST_REDUCE_BLANKS # Remove superfluous blanks before recording entry.
+setopt HIST_VERIFY # Don't execute immediately upon history expansion.
+setopt HIST_BEEP # Beep when accessing nonexistent history.