From 551340981b2d9e63d0232c0e705a602649379ee0 Mon Sep 17 00:00:00 2001
From: david <david@socialnerds.org>
Date: Fri, 18 Jan 2013 18:30:25 +0100
Subject: [PATCH] pushzshconfig 18.01.2013 18:30

---
 plugins/david.zsh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/plugins/david.zsh b/plugins/david.zsh
index 9de886a..bee2923 100644
--- a/plugins/david.zsh
+++ b/plugins/david.zsh
@@ -77,12 +77,11 @@ update()
         systems="ubuntu arch"
         issue="$(cat /etc/issue)"
         for item in $systems; do
-            echo $issue | grep -i $item
+            echo $issue | grep -i $item > /dev/null
             if [ $? -eq 0 ]; then
                 system=$item
             fi
         done
-        echo $system
 
         case $system in
             ubuntu)