在ubuntu安装php redis扩展

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