diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-05 14:36:48 -0500 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2019-02-05 14:36:48 -0500 |
| commit | 9abd02d8c1a0fd0a0f449445122d1da204cb5cb1 (patch) | |
| tree | f67b8968aa9659a2a3d9f092e09c334b88a80eda | |
| parent | 30fd6805f2fffd4924114f1ec781877cf3e41303 (diff) | |
| download | docker-buildsys-9abd02d8c1a0fd0a0f449445122d1da204cb5cb1.tar.gz | |
Impose time limit of 45 minutes
| -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"] |