From 8358af1077af1f96756999b05363147cd5893103 Mon Sep 17 00:00:00 2001 From: fabian Date: Fri, 2 Jun 2023 15:54:37 +0200 Subject: [PATCH] - added useful shell features - cosmetics: whitespace --- home_external/.bashrc | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/home_external/.bashrc b/home_external/.bashrc index 6875a62..9b5b727 100644 --- a/home_external/.bashrc +++ b/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 @@ -188,7 +191,7 @@ ex () *.tar.bz2) tar xjf $1 ;; *.tar.gz) tar xzf $1 ;; *.bz2) bunzip2 $1 ;; - *.rar) unrar x $1 ;; + *.rar) unrar x $1 ;; *.gz) gunzip $1 ;; *.tar) tar xf $1 ;; *.tbz2) tar xjf $1 ;;