From 09f6d9bd31a913551fef42c3d10a24cbe3996be7 Mon Sep 17 00:00:00 2001 From: Starfall Date: Mon, 16 Sep 2024 09:04:38 -0500 Subject: zsh: minor cleanup --- .config/zsh/history.zsh | 3 --- 1 file changed, 3 deletions(-) (limited to '.config/zsh/history.zsh') diff --git a/.config/zsh/history.zsh b/.config/zsh/history.zsh index be23491..162be39 100644 --- a/.config/zsh/history.zsh +++ b/.config/zsh/history.zsh @@ -2,8 +2,6 @@ HISTFILE=${ZDOTDIR:-$HOME}/.zsh_history HISTSIZE=10000 SAVEHIST=$HISTSIZE -# setopt extended_history # write timestamp (redundant with share_history?) -# setopt inc_append_history # write always, not just at end of session (redundant and exclusive with share_history) setopt hist_ignore_space # add leading space to hide from history setopt hist_ignore_dups # deduplicate commands run twice in a row setopt hist_ignore_all_dups # deduplicate entire history file @@ -12,7 +10,6 @@ setopt hist_verify # confirm before executing setopt share_history # import all of history in new sessions # search all of history, or display just the last 16 like the builtin `history` -# yes we should probably just use fzf which we have installed just for this function h () { [ $# -eq 0 ] &&\ fc -l ||\ -- cgit