diff options
author | Joseph Hunkeler <jhunkeler@users.noreply.github.com> | 2019-02-05 14:37:33 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-05 14:37:33 -0500 |
commit | a6f0d0a38ea52a202252b871cb00e8b5f604d105 (patch) | |
tree | 80302dbb6ebdd5a10b752c4f34a2cb0b0a54dfaf /Dockerfile | |
parent | 59edb690e9b4ecb128bbf449c92c04677228aa63 (diff) | |
parent | 9abd02d8c1a0fd0a0f449445122d1da204cb5cb1 (diff) | |
download | docker-buildsys-a6f0d0a38ea52a202252b871cb00e8b5f604d105.tar.gz |
Merge pull request #14 from jhunkeler/limit-strife
Impose time limit of 45 minutes
Diffstat (limited to 'Dockerfile')
-rw-r--r-- | Dockerfile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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"] |