From 12f4d5b8ae4ff5ab964ca0df7694566ced71884c Mon Sep 17 00:00:00 2001
From: lantz <rlantz@cs.stanford.edu>
Date: Tue, 26 Jan 2021 00:18:54 -0800
Subject: [PATCH] Fetch older version of get-pip.py for python 2 (#1015)

fixes #1014
---
 util/install.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/util/install.sh b/util/install.sh
index 8ea754c..a6fd166 100755
--- a/util/install.sh
+++ b/util/install.sh
@@ -184,7 +184,11 @@ function mn_deps {
         # Install pip
         $install ${PYPKG}-pip || $install ${PYPKG}-pip-whl
         if ! ${PYTHON} -m pip -V; then
-            wget https://bootstrap.pypa.io/get-pip.py
+            if [ $PYTHON_VERSION == 2 ]; then
+                wget https://bootstrap.pypa.io/2.6/get-pip.py
+            else
+                wget https://bootstrap.pypa.io/get-pip.py
+            fi
             sudo ${PYTHON} get-pip.py
             rm get-pip.py
         fi