From a2ef879494360c4011fbcb865a942c7f9f22d5a2 Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Thu, 16 Sep 2010 12:20:51 +0200
Subject: [PATCH] bash/rc: Use [[ ]] instead of [ ].

---
 bash/rc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.45.2