From 585cc7a480ef4327afc500c1883554f7f6356add Mon Sep 17 00:00:00 2001
From: hemanth <hemanth.hm@gmail.com>
Date: Sat, 18 Sep 2010 04:49:08 +0800
Subject: [PATCH] Check if universal repository is enabled or not.

---
 ubuntu-setup.bash | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ubuntu-setup.bash b/ubuntu-setup.bash
index 65231d9d0..a969d0fe3 100644
--- a/ubuntu-setup.bash
+++ b/ubuntu-setup.bash
@@ -10,7 +10,7 @@ shopt -s extglob
 sudo -v >/dev/null 2>&1 || { echo $(whoami) has no sudo privileges ; exit 1; }
 
 # Check if universal repository is enabled 
-grep -i universe /etc/apt/sources.list >> /dev/null || echo "Please enable universe repository" && exit 1
+grep -i universe /etc/apt/sources.list > /dev/null || { echo "Please enable universe repository" ; exit 1 ; }
 
 # Check if wget is installed 
 test wget || echo "Installing wget.." && sudo apt-get install wget && echo "Installed wget.."