fix: Remove shell directive in build stage (#4)

IllumiDesk · Jul 17, 2020 · 4bf7e27 · 4bf7e27
1 parent eb26d2f
commit 4bf7e27
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/theia/Dockerfile b/theia/Dockerfile
@@ -1,11 +1,8 @@
 FROM ubuntu:18.04 AS builder
 
-# Set the SHELL to bash with pipefail option
-SHELL ["/bin/bash", "-o", "pipefail", "-c"]
-
 # install development tools
 RUN apt-get update \
- && apt-get install --no-install-recommends -y \
+ && apt-get install -y \
     curl \
     sudo \
     build-essential \