先执行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

/etc/init.d/nginx restart