updating to ubuntu20

[ric-plt/a1.git] / Dockerfile

diff --git a/Dockerfile b/Dockerfile
index e160d30..9b6ede7 100644 (file)
--- a/Dockerfile
+++ b/Dockerfile
@@ -46,6 +46,7 @@ USER a1user
 # Speed hack; we install gevent before anything because when building repeatedly (eg during dev)
 # and only changing a1 code, we do not need to keep compiling gevent which takes forever
 RUN pip install --user gevent
+RUN pip install --user requests
 
 COPY setup.py /home/a1user/
 COPY a1/ /home/a1user/a1
@@ -61,7 +62,7 @@ RUN pip install --user /home/a1user
 # things built in the first stage, the final image size isn't tiny, but should
 # be well under the 800GiB start for the python image.
 #
-FROM ubuntu:18.04
+FROM ubuntu:20.04
 
 # pick up reference to python so that we can get 3.8 and not the really old default