From 0dd18575ca5a83e380947d027a7e1149100c0f33 Mon Sep 17 00:00:00 2001 From: Thomas Preisner Date: Wed, 12 Jul 2017 18:38:15 +0200 Subject: [PATCH] zsh: setopt: ignore EOFs, remove multi_io support --- zsh/setopt.zsh | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/zsh/setopt.zsh b/zsh/setopt.zsh index ff5eee2..d7b7626 100644 --- a/zsh/setopt.zsh +++ b/zsh/setopt.zsh @@ -5,8 +5,8 @@ setopt warn_create_global # ===== basics # disable beeps setopt no_beep -# allow comments in interactive shells -setopt interactive_comments +# disabled exit on +setopt ignore_eof # ===== directory related # If you type foo, and it isn't a command, and it is a directory in your @@ -42,10 +42,6 @@ unsetopt menu_complete # ===== correction # suggest a similar command name if the current one doesn't exist -# setopt correct +#setopt correct # suggest a similar argument name if the current one doesn't exist -# setopt correctall - -# ===== scripts and functions -# perform implicit tees or cats when multiple redirections are attempted -setopt multios +#setopt correctall