PIPE_FAIL is always useful

diff --git a/zsh/.zshrc b/zsh/.zshrc
index b1baea7bc1d29331c45195ce068a9f89d1cb6ce0..27a1bde2de5d70f12f08f26cb86c562eee96def7 100644 (file)
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -5,6 +5,7 @@ setopt INTERACTIVE_COMMENTS
 setopt GLOB_STAR_SHORT GLOB_DOTS EXTENDED_GLOB
 setopt NO_NOMATCH
 setopt AUTO_PUSHD PUSHD_IGNORE_DUPS
 setopt GLOB_STAR_SHORT GLOB_DOTS EXTENDED_GLOB
 setopt NO_NOMATCH
 setopt AUTO_PUSHD PUSHD_IGNORE_DUPS

+setopt PIPE_FAIL

 
 setopt RM_STAR_SILENT
 export LISTMAX=9999
 
 setopt RM_STAR_SILENT
 export LISTMAX=9999