- added useful shell features

- cosmetics: whitespace

home_external/.bashrc

@@ -2,6 +2,9 @@
 # see /usr/share/doc/bash/examples/startup-files (in the package bash-doc)
 # for examples
 
+set -o pipefail
+# set -u
+
 # If not running interactively, don't do anything
 if [[ $- != *i* ]]; then
    return