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