diff options
Diffstat (limited to 'examples/docker-minimal/docker/Dockerfile')
| -rw-r--r-- | examples/docker-minimal/docker/Dockerfile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/examples/docker-minimal/docker/Dockerfile b/examples/docker-minimal/docker/Dockerfile deleted file mode 100644 index dfdeae0..0000000 --- a/examples/docker-minimal/docker/Dockerfile +++ /dev/null @@ -1,14 +0,0 @@ -FROM catlfish - -ADD catlfish.config /opt/catlfish/rel/ -ADD https /opt/catlfish/rel/https -ADD known_roots /opt/catlfish/rel/known_roots -RUN mkdir /opt/catlfish/rel/log -ADD eckey.pem eckey-public.pem /opt/catlfish/rel/plop/test/ - -WORKDIR /opt/catlfish/rel -EXPOSE 8080 -EXPOSE 8081 -EXPOSE 8082 - -CMD ["/usr/bin/supervisord"] |