From 41495c32d1827bf28ad8a94bc9947e3685ef40ca Mon Sep 17 00:00:00 2001
From: Simon Ruderich <simon@ruderich.org>
Date: Mon, 8 Mar 2010 17:55:53 +0100
Subject: [PATCH] bash/rc: Minor whitespace fix.

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

diff --git a/bash/rc b/bash/rc
index a1ac587..a62272e 100644
--- 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
 
-- 
2.45.2