lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Renabled SHELL directive.

This commit is contained in:
Achim D. Brucker 2019-01-05 15:56:36 +00:00
parent d8dfe40d96
commit 442fec5c3c
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
debian4isabelle/Dockerfile
View File

@ -26,7 +26,7 @@
FROM debian:testing-slim
# SHELL ["/bin/bash", "-c"]
SHELL ["/bin/bash", "-c"]
# packages
RUN apt-get -y update && \

2
isabelle/Dockerfile
View File

@ -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)