From 2188c2fbec5534f2554fdfac4203e6517ae11948 Mon Sep 17 00:00:00 2001 From: thek4n Date: Fri, 1 Dec 2023 16:55:52 +0300 Subject: [PATCH] fix zsh history --- home/user/.config/zsh/history | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/user/.config/zsh/history b/home/user/.config/zsh/history index 6d78538..03d4695 100644 --- a/home/user/.config/zsh/history +++ b/home/user/.config/zsh/history @@ -11,7 +11,7 @@ setopt hist_ignore_space # ignore commands that start with space setopt hist_verify # show command with history expansion to user before running it setopt share_history # share command history data -export HISTORY_IGNORE='(cd|c|q|exit|l[sal.]#( *)#|[bf]g#( *)#|..|lsl#( *)#|ll[a.]#( *)#)' +export HISTORY_IGNORE='(cd|c|q|exit|l[sal.]|[bf]g#( *)#|..|lsl|ll[a.]|cd ..)' # configure `time` format TIMEFMT=$'\nreal\t%E\nuser\t%U\nsys\t%S\ncpu\t%P'