最佳答案

要在php7.2上安装Redis扩展，首先确保以下条件已满足：

1. 您的系统已安装了Redis，并确保Redis服务器正在运行。

2. 您已安装了php7.2，并且已启用了php7.2的扩展安装工具。

接下来，您可以按照以下步骤来安装Redis扩展：

1. 打开终端或命令提示符，并运行以下命令来安装Redis扩展依赖：

```bash

sudo apt-get install php7.2-dev

2. 安装Redis扩展。运行以下命令来从PECL仓库安装Redis扩展：

```bash

sudo pecl install redis

3. 编辑php.ini文件，在末尾添加以下行以启用Redis扩展：

```bash

extension=redis.so

4. 保存并关闭php.ini文件。

5. 重新启动您的Web服务器，以使更改生效。使用以下命令重启Apache服务器：

```bash

sudo service apache2 restart

或者，如果您使用的是nginx服务器，请使用以下命令重启nginx服务器：

```bash

sudo service nginx restart

6. 检查Redis扩展是否已安装。运行以下命令来验证Redis扩展是否已正确安装：

```bash

php -m | grep redis

如果输出中包含"redis"字样，则表示Redis扩展已成功安装。

如果遇到任何错误或问题，请检查您的系统和环境设置，并查找适用于您系统的其他安装方法。

其他答案

安装 Redis 扩展需要先确保系统中已经安装了 Redis 服务器，并且安装了 PHP 的相关开发依赖。这里假设你已经完成了 Redis 服务器和 PHP 的安装。

首先，你需要下载 Redis 扩展的源代码。可以在 Redis 扩展的官方 GitHub 仓库中找到最新的源码包。

打开终端，使用 `git` 命令将 Redis 扩展源码克隆到本地：

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

进入克隆下来的 phpredis 目录：

$ cd phpredis

然后，执行以下命令来编译和安装 Redis 扩展：

$ phpize

$ ./configure

$ make

$ sudo make install

执行 `phpize` 命令会根据当前系统的环境配置生成适配的 `configure` 脚本，而 `./configure` 命令则会通过这个脚本来生成编译配置。接着使用 `make` 命令编译源代码，并使用 `sudo make install` 命令将编译好的扩展安装到系统中。

完成安装后，还需要在 PHP 配置文件中启用 Redis 扩展。打开 `php.ini` 配置文件，找到以下一行：

;extension=redis.so

将其修改为：

extension=redis.so

保存并关闭文件。

最后，重启 PHP 服务使修改生效。可以通过执行以下命令来重启 Apache 服务器：

$ sudo service apache2 restart

或者通过执行以下命令来重启 PHP-FPM 服务：

$ sudo service php-fpm restart

重启后，可以使用以下命令来验证 Redis 扩展是否成功安装：

$ php -m | grep redis

如果命令输出中有 `redis`，则说明 Redis 扩展已经成功安装。

如果安装过程中遇到了问题，可以参考 Redis 扩展的官方文档或者在开发者社区中寻求帮助。