From e1752188b04cc98fc7689087bada2011b9a41433 Mon Sep 17 00:00:00 2001 From: druckdev Date: Fri, 18 Dec 2020 23:35:00 +0100 Subject: [PATCH] zsh:history: Do not save function definitions --- .config/zsh/zshrc.d/10-options.zsh | 1 + 1 file changed, 1 insertion(+) diff --git a/.config/zsh/zshrc.d/10-options.zsh b/.config/zsh/zshrc.d/10-options.zsh index 52734ba..9d13933 100644 --- a/.config/zsh/zshrc.d/10-options.zsh +++ b/.config/zsh/zshrc.d/10-options.zsh @@ -19,6 +19,7 @@ setopt NO_FLOW_CONTROL # Disables output flow control in the shell's ed setopt GLOB_DOTS # Do not require a leading `.' in a filename to be matched explicitly. setopt HIST_IGNORE_DUPS # Do not enter command lines into the history list if they are duplicates of the previous event. setopt HIST_IGNORE_SPACE # History should ignore commands beginning with a space +setopt HIST_NO_FUNCTIONS # Remove function definitions from the history list. setopt HIST_VERIFY # perform history expansion and reload line in editing buffer instead of executing it directly setopt NO_INC_APPEND_HISTORY # Do not write lines as soon as they are entered (breaks exec time otherwise) setopt INC_APPEND_HISTORY_TIME # Write lines after they are finished