From 0f6ddbdf43ec2aac2b1ca192907a924cb48f36bf Mon Sep 17 00:00:00 2001
From: leo <wanderer@dotya.ml>
Date: Wed, 19 Apr 2023 22:59:17 +0200
Subject: [PATCH] zshrc: more useful history opts

---
 .zshrc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.zshrc b/.zshrc
index 3de1f57..28d0b6b 100644
--- a/.zshrc
+++ b/.zshrc
@@ -65,12 +65,16 @@
  HIST_STAMPS="dd.mm.yyyy"
  HISTSIZE=10000000
  SAVEHIST=10000000
+ setopt extended_history # write the history file in the ":start:elapsed;command" format
  setopt share_history
+ setopt hist_expire_dups_first # expire duplicate entries first when trimming history
  setopt hist_ignore_dups
  setopt hist_ignore_all_dups
  setopt hist_save_no_dups
  setopt hist_ignore_space
- HISTCONTROL=ignoredups:erasedups
+ setopt hist_reduce_blanks # remove superfluous blanks before recording entry
+ setopt hist_verify # don't execute immediately after expansion
+ # HISTCONTROL=ignoredups:erasedups
 
 # Would you like to use another custom folder than $ZSH/custom?
 # ZSH_CUSTOM=/path/to/new-custom-folder