diff --git a/home_external/.bashrc b/home_external/.bashrc
index 2ff28c1..a6b623c 100644
--- a/home_external/.bashrc
+++ b/home_external/.bashrc
@@ -2,7 +2,7 @@
 # see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
 # for examples
 
-set -o pipefail
+# set -o pipefail
 # set -u
 
 # If not running interactively, don't do anything