bash/rc: Minor whitespace fix.

diff --git a/bash/rc b/bash/rc
index a1ac587a8f5d0815bfb43d8cb2f1578137c02c44..a62272e7bfe2c15f96409a2cbb09e0a4b1278b7d 100644 (file)
--- a/bash/rc
+++ b/bash/rc
@@ -26,7 +26,7 @@ source_config ~/.shell "" env $host
 
 # Check if this is an interactive shell. Abort if not to prevent problems with
 # scp and rcp. Taken from default Debian bashrc. Thanks.
-if [[ $- != *i* ]] ; then
+if [[ $- != *i* ]]; then
     return
 fi