From 39b82358c5ab5ae59e607ab4c50f8cf866296d96 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 5 Feb 2021 15:19:36 +0300 Subject: [PATCH] PIPE_FAIL is always useful --- zsh/.zshrc | 1 + 1 file changed, 1 insertion(+) diff --git a/zsh/.zshrc b/zsh/.zshrc index b1baea7..27a1bde 100644 --- 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 PIPE_FAIL setopt RM_STAR_SILENT export LISTMAX=9999 -- 2.44.0