在ubuntu安装php redis扩展

1. 先执行php -m, 如果没有看到redis, 那么就需要安装php redis扩展

2. 下载源码, 我们假定在家目录下有个 git 文件夹来管理 git 文件

   $ cd ~/git/
   $ git clone https://github.com/phpredis/phpredis.git

3. 将下载下来的源码移动到/etc 文件下, 然后进入这个目录下

   $ mv phpredis/ /etc/
   $ cd /etc/phpredis

4. 执行phpize生成编译文件, 这里可能会需要安装php7.2-dev
   ubuntu 没有安装phpize，可执行命令：sudo apt-get install php7.2-dev来安装phpize

   $ phpize
   // 根据提示安装php7.0-dev
   $ sudo apt install php7.0-dev

5. 编译安装

   $ sudo ./configure
   $ make && make install

   这样在usr\lib\php\20170718 目录下已经生成了redis.so文件，usr\lib\php\20170718这个目录就是php.ini里所指的extension_dir

6. 在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

7. 重启nginx

   /etc/init.d/nginx restart