先执行php -m, 如果没有看到redis, 那么就需要安装php redis扩展
网站建设哪家好，找成都创新互联！专注于网页设计、网站建设、微信开发、微信小程序开发、集团企业网站建设等服务项目。为回馈新老客户创新互联还提供了北海免费建站欢迎大家使用！
下载源码, 我们假定在家目录下有个 git 文件夹来管理 git 文件
$ cd ~/git/
$ git clone https://github.com/phpredis/phpredis.git
将下载下来的源码移动到/etc 文件下, 然后进入这个目录下
$ mv phpredis/ /etc/
$ cd /etc/phpredis
执行phpize生成编译文件, 这里可能会需要安装php7.2-dev
ubuntu 没有安装phpize，可执行命令：sudo apt-get install php7.2-dev来安装phpize
$ phpize
// 根据提示安装php7.0-dev
$ sudo apt install php7.0-dev
编译安装
$ sudo ./configure
$ make && make install
这样在usr\lib\php\20170718 目录下已经生成了redis.so文件，usr\lib\php\20170718这个目录就是php.ini里所指的extension_dir
在etc\php\7.2\mods-available 目录下分别增加 redis.ini，加入以下内容 extension=redis.so
新增link 文件
sudo ln -s /etc/php/7.2/mods-available/redis.ini /etc/php/7.2/cli/conf.d/20-redis.ini
- 重启nginx
/etc/init.d/nginx restart
