From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 16 Sep 2010 10:20:51 +0000 (+0200)
Subject: bash/rc: Use [[ ]] instead of [ ].
X-Git-Url: https://ruderich.org/simon/gitweb/?a=commitdiff_plain;h=a2ef879494360c4011fbcb865a942c7f9f22d5a2;p=config%2Fdotfiles.git

bash/rc: Use [[ ]] instead of [ ].
---

diff --git a/bash/rc b/bash/rc
index 190cd20..05317d9 100644
--- a/bash/rc
+++ b/bash/rc
@@ -7,7 +7,7 @@
 host=$(echo $(hostname) | sed -e 's/\..*$//')
 
 # Load environmental related settings used by all shells.
-if [ -f ~/.shell/env ]; then
+if [[ -f ~/.shell/env ]]; then
     . ~/.shell/env
 # Fallback functions as ~/.shell/env couldn't be loaded.
 else