From 10d5f0271326d6a2dce6ec1f1806739b0ed2c44e Mon Sep 17 00:00:00 2001 From: ItsDrike Date: Thu, 1 Apr 2021 21:45:41 +0200 Subject: [PATCH] Format comments --- home/.zshrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/.zshrc b/home/.zshrc index 18576dd..2f88a53 100755 --- a/home/.zshrc +++ b/home/.zshrc @@ -22,7 +22,7 @@ export ZSH_COMPDUMP="$ZSH_CACHE/zcompdump-$ZSH_VERSION" # for auto/tab completio HISTFILE="$ZSH_CACHE/history" HISTSIZE=10000 SAVEHIST=10000 -setopt appendhistory # save history entries as soon as they are entered +setopt appendhistory # save history entries as soon as they are entered setopt hist_ignore_space # ignore commands that start with space setopt hist_verify # show commands with history expansion to user before running it #setopt hist_ignore_dups # ignore duplicated commands history list