From 08bc4219cc7fd7193c6375fb2afe130c136bc02a Mon Sep 17 00:00:00 2001
From: Matteo Pergolesi <matpergo@gmail.com>
Date: Sat, 30 May 2020 16:41:18 +0200
Subject: [PATCH] Install old version of pipenv. New one introduces bug with
 --system (pypa/pipenv#4273).

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 6aee64f..7d057b7 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,7 @@
 FROM python:3.6-slim as base
 EXPOSE 5000
 RUN apt-get update && apt-get install -y build-essential
-RUN ["pip3", "install", "pipenv"]
+RUN ["pip3", "install", "pipenv==2018.11.26"]
 ENV PIPENV_VENV_IN_PROJECT 1
 WORKDIR /usr/src/app
 # copy only pipfiles to install dependencies