From e273883077fa21e54cfc8722a10e67a85255eee9 Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Thu, 9 May 2019 10:08:58 +0200 Subject: [PATCH] Update Dockerfile --- Dockerfile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Dockerfile b/Dockerfile index 83c7db240..a771b3227 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,5 +1,8 @@ FROM ubuntu:18.04 +# Set shell +SHELL ["/bin/bash", "-o", "pipefail", "-c"] + # Docker RUN apt-get update && apt-get install -y \ apt-transport-https \