remove shell change
This commit is contained in:
parent
5cf36fc881
commit
4e7505833c
1 changed files with 1 additions and 3 deletions
|
@ -14,10 +14,8 @@ FROM $BASE_IMAGE
|
|||
ARG WITH_LIBSNARK
|
||||
ENV ZOKRATES_HOME=/home/zokrates/.zokrates
|
||||
|
||||
SHELL ["/bin/bash", "-c"]
|
||||
|
||||
RUN apt-get update; \
|
||||
[ "$WITH_LIBSNARK" = 1 ] && apt-get install -y --no-install-recommends libgmp3-dev; \
|
||||
[ "$WITH_LIBSNARK" -eq 1 ] && apt-get install -y --no-install-recommends libgmp3-dev; \
|
||||
useradd -u 1000 -m zokrates
|
||||
|
||||
USER zokrates
|
||||
|
|
Loading…
Reference in a new issue