Homestead安装phpredis扩展
编译php redis扩展
下面以编译php7.2版本为例，执行下面的命令之前先切换到root用户。
git clone https://github.com/phpredis/phpredis.git
cd phpredis
/usr/bin/phpize7.2
./configure --with-php-config=/usr/bin/php-config7.2
make && make install
安装好的redis.so会存放在/usr/lib/php/20170718/目录下。
如果编译的不是这个版本的php，可以使用下面的命令获取扩展路径:
php -i|grep extension_dir
引入扩展
sudo echo 'extension=redis.ini' > /etc/php/7.2/mods-available/redis.ini
sudo ln -s /etc/php/7.2/mods-available/redis.ini /etc/php/7.2/fpm/conf.d/20-redis.ini
注意：client模式也需要加上这个扩展，在
/etc/php/7.2/cli/php.ini主配置文件也加上这个扩展。
echo "extension=redis.so" >> /etc/php/7.2/cli/php.ini
重启进程
通过下面的命令重启php-fpm进程，打印phpinfo();查看是否成功安装拓展。
sudo systemctl restart php7.2-fpm.service
如果是其他php扩展使用相同的方式即可。