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

diff --git a/bash/rc b/bash/rc
index 190cd20f202469a1929282127e5a5e32e27cebcc..05317d9bc955a3687a1b6b6018ce9a4fe8091e7f 100644 (file)
--- 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