From c72469f29f9d27d04b3cc124788b7a063ab43c46 Mon Sep 17 00:00:00 2001 From: Starfall Date: Sat, 18 Jul 2020 20:56:30 -0500 Subject: zsh: remove options that are set by default --- .config/zsh/.zshrc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.config/zsh/.zshrc b/.config/zsh/.zshrc index ad61c01..fda6c62 100644 --- a/.config/zsh/.zshrc +++ b/.config/zsh/.zshrc @@ -2,9 +2,6 @@ setopt autocd export CDPATH=".:$HOME:$HOME/devil:$HOME/src" -# use multiple redirections to imply tee / cat -setopt multios - # spelling correction... TBA if we like this # could also use correct_all & potentially alias some things with nocorrect setopt correct @@ -31,7 +28,6 @@ autoload -Uz compinit && compinit HISTFILE="$HOME/.zsh_history" HISTSIZE=10000 SAVEHIST=$HISTSIZE -setopt bang_hist setopt extended_history # write timestamp setopt inc_append_history # write always, not just at end of session setopt hist_ignore_space # add leading space to hide from history -- cgit