Error in K1: change of pip's URL

[ewysocka]

Hello,

When Monet is run with the K1 method, there is an issue with the pip URL for python2 that apparently has changed.

(base) ➜  cat /tmp/docker_build_output

Sending build context to Docker daemon  3.584kB
Step 1/13 : FROM ubuntu:20.04
 ---> f63181f19b2f
Step 2/13 : LABEL maintainer="Mattia Tomasoni <mattia.tomasoni@unil.ch>"
 ---> Using cache
 ---> f7aa9d1ab0d3
Step 3/13 : RUN apt update
 ---> Using cache
 ---> 0dd4c7505faa
Step 4/13 : RUN apt -y install python2
 ---> Using cache
 ---> deb1de8457ae
Step 5/13 : RUN apt -y install curl
 ---> Using cache
 ---> af8ab386d594
Step 6/13 : RUN curl https://bootstrap.pypa.io/2.7/get-pip.py --output get-pip.py
 ---> Using cache
 ---> f29f3aca0dcc
Step 7/13 : RUN python2 get-pip.py
 ---> Running in 27451fdda266

Hi there!

The URL you are using to fetch this script has changed, and this one will no
longer work. Please use get-pip.py from the following URL instead:

    https://bootstrap.pypa.io/pip/2.7/get-pip.py

Sorry if this change causes any inconvenience for you!

We don't have a good mechanism to make more gradual changes here, and this
renaming is a part of an effort to make it easier to us to update these
scripts, when there's a pip release. It's also essential for improving how we
handle the `get-pip.py` scripts, when pip drops support for a Python minor
version.

There are no more renames/URL changes planned, and we don't expect that a need
would arise to do this again in the near future.

Thanks for understanding!

- Pradyun, on behalf of the volunteers who maintain pip.

The command '/bin/sh -c python2 get-pip.py' returned a non-zero code: 1

Thanks!
Emilia

[mattiat]

Hi Emilia, thank you for spotting this and sorry it took me a while to push the little fix eaa504d
I started a new job, I'm a bit overloaded.

Let me know if you still have any kind of trouble.
I would be interested to know how your research is going too!
Again thanks!