From d85782a545c96cc8323515eb29508d920ba25ff8 Mon Sep 17 00:00:00 2001 From: Ralf Becker Date: Thu, 31 Oct 2019 13:01:25 +0100 Subject: [PATCH] install PHP gmp extension for WebAuthn --- doc/docker/fpm/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/docker/fpm/Dockerfile b/doc/docker/fpm/Dockerfile index a20ad2abd4..5c404c5c98 100644 --- a/doc/docker/fpm/Dockerfile +++ b/doc/docker/fpm/Dockerfile @@ -12,7 +12,7 @@ RUN apt-get update \ && apt-get install -y software-properties-common \ && LC_ALL=C.UTF-8 add-apt-repository -y ppa:ondrej/php \ && apt-get update \ - && bash -c "apt-get install -y php7.3-{cli,mysql,json,gd,xsl,bz2,opcache,apcu,tidy,zip,bcmath,mbstring,smbclient,ldap,curl,fpm,pgsql}" \ + && bash -c "apt-get install -y php7.3-{cli,mysql,json,gd,xsl,bz2,opcache,apcu,tidy,zip,bcmath,mbstring,smbclient,ldap,curl,fpm,pgsql,gmp}" \ # fpm and php.ini settings && sed -e 's/^;\?listen \?=.*/listen = 9000/g' \ -e '/allowed_clients/d' \ @@ -37,6 +37,7 @@ RUN apt-get update \ && sed -e 's|^;\?date.timezone.*|date.timezone = UTC|g' \ -e 's|^;\?sys_temp_dir.*|sys_temp_dir = /tmp|g' \ -i /etc/php/7.3/cli/php.ini \ + # create directory for pid file && mkdir -p /run/php \ # send logs to stderr to be viewed by docker logs && ln -s /dev/stderr /var/log/php7.3-fpm.log \