summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoseph Hunkeler <jhunkeler@users.noreply.github.com>2019-02-05 14:37:33 -0500
committerGitHub <noreply@github.com>2019-02-05 14:37:33 -0500
commita6f0d0a38ea52a202252b871cb00e8b5f604d105 (patch)
tree80302dbb6ebdd5a10b752c4f34a2cb0b0a54dfaf
parent59edb690e9b4ecb128bbf449c92c04677228aa63 (diff)
parent9abd02d8c1a0fd0a0f449445122d1da204cb5cb1 (diff)
downloaddocker-buildsys-a6f0d0a38ea52a202252b871cb00e8b5f604d105.tar.gz
Merge pull request #14 from jhunkeler/limit-strife
Impose time limit of 45 minutes
-rw-r--r--Dockerfile6
1 files changed, 5 insertions, 1 deletions
diff --git a/Dockerfile b/Dockerfile
index f6de471..5287058 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -86,10 +86,14 @@ RUN conda config --set auto_update_conda false \
# Inject custom handlers
USER root
+
+RUN curl -L https://github.com/krallin/tini/releases/download/v0.18.0/tini-static-amd64 > /usr/bin/tini \
+ && chmod +x /usr/bin/tini
+
ADD with_env /usr/local/bin
WORKDIR ${HOME}
EXPOSE 22
-
+ENTRYPOINT ["tini", "-g", "--", "timeout", "-sKILL", "45m"]
CMD ["/bin/bash"]