如何为 php 7 安装 redis 扩展
https://anton.logvinenko.name/en/blog/how-to-install-redis-and-redis-php-client.html 引用此链接
并完成以下步骤
PhpRedis for PHP 7 (如果你有不同的 PHP 版本,请跳过它)
安装所需的软件包
apt-get install php7.0-dev
下载 PhpRedis
cd /tmp
wget https://github.com/phpredis/phpredis/archive/php7.zip -O phpredis.zip
但是,找不到 https://github.com/phpredis/phpredis/archive/php7.zip 文件进行安装。