diff --git a/gitpod/debian.Dockerfile b/gitpod/debian.Dockerfile index b5ebadf..07ab8e1 100644 --- a/gitpod/debian.Dockerfile +++ b/gitpod/debian.Dockerfile @@ -2,14 +2,13 @@ FROM debian:latest # FIXME: Outputs `gitpod@ws-ce281d58-997b-44b8-9107-3f2da7feede3:/workspace/gitpod-tests1$` in terminal # FIXME: Add hadolint executable +# FIXME: We can use /bin/sh instead of /bin/bash to get minor optimization # To avoid bricked workspaces (https://github.com/gitpod-io/gitpod/issues/1171) ARG DEBIAN_FRONTEND=noninteractive USER root -SHELL ["/bin/sh"] - ENV LANG=en_US.UTF-8 ENV LC_ALL=C @@ -35,4 +34,4 @@ RUN if ! grep -qF 'ix()' /etc/bash.bashrc; then printf '%s\n' \ "ix() { curl -F 'f:1=<-' ix.io 2>/dev/null ;}" \ >> /etc/bash.bashrc; fi -USER gitpod \ No newline at end of file +USER gitpod