在Docker的官方镜像中，安装额外的扩展的方法是

RUN docker-php-ext-install pdo

如果你认为可以的话，那就可以，但是在安装Redis扩展的时候，只需要简单地安装即可。

RUN docker-php-ext-install redis

无法进行安装。

由于网络上发布的信息并不适用，所以我对其进行了一些改动，现在有了一个经过测试的方法，供个人备忘录使用。

結論是…

FROM php:7.1.2-fpm-alpine

RUN apk update && \
    apk --no-cache upgrade && \
    docker-php-source extract && \
    curl -L -o /tmp/redis.tar.gz https://github.com/phpredis/phpredis/archive/php7.tar.gz && \
    tar xfz /tmp/redis.tar.gz -C /tmp && \
    rm -r /tmp/redis.tar.gz && \
    mv /tmp/phpredis-php7 /usr/src/php/ext/redis && \
    docker-php-ext-install redis <その他exension...>

重点是要明确执行docker-php-source extract。

如果不执行此操作，/usr/src/php/ext目录将不会被创建，因此mv /tmp/phpredis-php7 /usr/src/php/ext/redis将会失败。

我花了三个小时才到达这里…。