From 8f7767d5e5eba6438d319c8fb4335a2e41be26f5 Mon Sep 17 00:00:00 2001 From: Paulus Schoutsen Date: Wed, 17 Jul 2019 14:04:13 -0700 Subject: [PATCH] Pin Docker to Debain Stretch (#25206) * Pin Docker to Debain Stretch * Update dev docker too" --- Dockerfile | 2 +- virtualization/Docker/Dockerfile.dev | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 01fdee45a63..73134e4e59c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,7 +2,7 @@ # When updating this file, please also update virtualization/Docker/Dockerfile.dev # This way, the development image and the production image are kept in sync. -FROM python:3.7 +FROM python:3.7-stretch LABEL maintainer="Paulus Schoutsen " # Uncomment any of the following lines to disable the installation. diff --git a/virtualization/Docker/Dockerfile.dev b/virtualization/Docker/Dockerfile.dev index 8c00fb7248a..3e8b86e2450 100644 --- a/virtualization/Docker/Dockerfile.dev +++ b/virtualization/Docker/Dockerfile.dev @@ -2,7 +2,7 @@ # Based on the production Dockerfile, but with development additions. # Keep this file as close as possible to the production Dockerfile, so the environments match. -FROM python:3.7 +FROM python:3.7-stretch LABEL maintainer="Paulus Schoutsen " # Uncomment any of the following lines to disable the installation.