1、ping出github的IP,hosts解析这个IP:20.205.243.166 github.com

2、下载redis
git clone https://github.com/phpredis/phpredis.git
cd phpredis
# 生成适配 PHP 8.3 的编译配置文件
/usr/local/opt/php@8.3/bin/phpize
# 配置编译参数,关联到 PHP 8.3
./configure --with-php-config=/usr/local/opt/php@8.3/bin/php-config
# 安装扩展(如果提示权限不足,在前面加 sudo)
sudo make install
#查看PHP配置的目录 Loaded Configuration File: /usr/local/etc/php/8.3/php.ini
/usr/local/opt/php@8.3/bin/php --ini
#根据上一步输出的目录编辑,增加这行extension=redis.so
vim /usr/local/etc/php/8.3/php.ini
#验证是否成功,如果输出redis说明成功
/usr/local/opt/php@8.3/bin/php -m | grep redis
如果找不到redis扩展目录,说明扩展目录放的位置可能不对
/usr/local/opt/php@8.3/bin/php -r "echo ini_get('extension_dir') . PHP_EOL;"
把结果编辑到extension_dir,例如我的一开始目录是不对的,换成了新的才正常