diff --git a/Dockerfile b/Dockerfile index a1a2ef6..971c535 100644 --- a/Dockerfile +++ b/Dockerfile @@ -12,7 +12,6 @@ ENV WITHOUT_WATCHR=$WITHOUT_WATCHR COPY rootfs / RUN apk add --update --no-cache \ - bash \ git \ docker-cli \ php${PHP}-cli \ diff --git a/debian.Dockerfile b/debian.Dockerfile new file mode 100644 index 0000000..0fc1c24 --- /dev/null +++ b/debian.Dockerfile @@ -0,0 +1,19 @@ +FROM debian + +ARG PHP +ENV PHP_VERSION=$PHP + +ARG WITH_EXAKAT +ENV WITH_EXAKAT=$WITH_EXAKAT + +ARG WITHOUT_WATCHR +ENV WITHOUT_WATCHR=$WITHOUT_WATCHR + +COPY rootfs / + +RUN apt update && apt install -y \ + wget php-cli \ + && /usr/local/bin/install-tools + +ENTRYPOINT [ "/usr/bin/php" ] +CMD [ "-v" ] diff --git a/rootfs/usr/local/bin/install-tools b/rootfs/usr/local/bin/install-tools index 324d0ba..be4ea25 100755 --- a/rootfs/usr/local/bin/install-tools +++ b/rootfs/usr/local/bin/install-tools @@ -1,4 +1,4 @@ -#!/usr/bin/env ash +#!/usr/bin/env sh box() { local version="4.6.1"