php8.0redis扩展安装

1. 确认系统已经安装了 Redis 服务器，并且已经启动。

2. 安装 php8.0redis扩展。

可以使用以下命令：

sudo apt-get install php8.0-redis

如果提示找不到包，则需要先更新一下包管理器：

sudo apt-get update

3. 验证安装是否成功。

可以使用以下命令：

php -m | grep redis

如果输出了 `redis`，则说明扩展已经安装成功。

4. 在 PHP 中使用 Redis 扩展。

可以在 PHP 代码中使用以下代码连接 Redis 服务器：

$redis = new Redis();
$redis->connect('127.0.0.1', 6379);

其中 `127.0.0.1` 是 Redis 服务器的 IP 地址，`6379` 是 Redis 服务器的端口号。根据实际情况修改即可。

此时就可以使用 `$redis` 对象访问 Redis 服务器了。

例如，可以使用以下代码设置一个键值对：

$redis->set('mykey', 'myvalue');

可以使用以下代码获取该键的值：

$value = $redis->get('mykey');
echo $value;

输出应该是 `myvalue`。