Disabled SHELL directive.
This commit is contained in:
parent
8d1176d523
commit
5c409c00a7
|
@ -26,7 +26,7 @@
|
|||
|
||||
FROM debian:testing-slim
|
||||
|
||||
SHELL ["/bin/bash", "-c"]
|
||||
# SHELL ["/bin/bash", "-c"]
|
||||
|
||||
# packages
|
||||
RUN apt-get -y update && \
|
||||
|
|
|
@ -34,7 +34,7 @@ LABEL isabelle.url="$isabelle"
|
|||
LABEL isabelle.afp.url="$afp"
|
||||
LABEL isabelle.sessions="$sessions"
|
||||
|
||||
SHELL ["/bin/bash", "-c"]
|
||||
# SHELL ["/bin/bash", "-c"]
|
||||
|
||||
# Create default user (isabelle)
|
||||
RUN useradd -m isabelle && (echo isabelle:isabelle | chpasswd)
|
||||
|
|
Loading…
Reference in New Issue