From 96d7f346b21ea6fd2fa3f8a179f6a39714e014e6 Mon Sep 17 00:00:00 2001
From: josch <josch@pyneo.org>
Date: Thu, 8 Dec 2011 23:09:37 +0100
Subject: [PATCH] really, no pips

---
 stack.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/stack.sh b/stack.sh
index 10bf129..5856b5f 100755
--- a/stack.sh
+++ b/stack.sh
@@ -363,9 +363,6 @@ function get_packages() {
 apt_get update
 apt_get install $(get_packages)
 
-# install python requirements
-sudo PIP_DOWNLOAD_CACHE=/var/cache/pip pip install --use-mirrors `cat $FILES/pips/*`
-
 # git clone only if directory doesn't exist already.  Since ``DEST`` might not
 # be owned by the installation user, we create the directory and change the
 # ownership to the proper user.