diff --git a/Dockerfile b/Dockerfile index 3ed20b1..35078a5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,5 +12,6 @@ COPY --from=opam /home/opam/unipi.spt /unipi.spt COPY --from=opam /home/opam/solo5-elftool /usr/local/bin/solo5-elftool COPY --from=opam /home/opam/solo5-spt /usr/local/bin/solo5-spt COPY entrypoint.sh /entrypoint.sh +RUN apt update && apt install -y iproute2 EXPOSE 80 ENTRYPOINT ["/entrypoint.sh", "/unipi.spt"] diff --git a/entrypoint.sh b/entrypoint.sh index a890f18..c2ac54f 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/sh -e if [ "$#" -lt 1 ]; then echo Must provide the unikernel as argument >&2