一、前置条件
在安装redis扩展之前，需要确保已经安装了redis服务，并且已经安装了php和composer。
二、获取redis扩展
1.打开命令行工具，输入以下命令来安装redis扩展所需的C语言基础库：
```
sudo apt-get install build-essential
```
2. 通过以下命令下载并解压redis扩展源码：
```
wget https://github.com/phpredis/phpredis/archive/php7.zip
unzip phpredis-php7.zip
cd phpredis-php7/
```
三、安装redis扩展
1.在命令行中输入以下命令来安装redis扩展所需依赖库：
```
sudo apt-get install php-dev
sudo apt-get install php-pear
```
2.安装完依赖库之后，输入以下命令来安装redis扩展：
```
phpize
./configure
make
sudo make install
```
3.安装完成之后，需要在php.ini中添加以下配置：
```
extension=redis.so
```
可以通过以下命令来查看当前php.ini的路径：
```
php --ini
```
四、测试redis扩展是否安装成功
可以在终端输入以下命令：
```
php -m|grep redis
```
如果输出了"redis"，说明redis扩展已经安装成功。
五、使用redis扩展
使用redis扩展非常简单，只需要在php代码中引入redis类，然后创建一个redis对象，就可以使用redis提供的各种方法操作redis数据库了。
下面是一个简单的示例，用来连接redis并添加一个键值对：
```
$redis = new Redis();
$redis->connect('127.0.0.1', 6379);
$redis->set('test_key', 'Hello World!');
echo $redis->get('test_key');
?>
```
可以通过以下命令来运行这段代码：
```
php test.php
```
输出结果应该为"Hello World!"。
在实际应用中，我们会使用更多redis提供的方法，例如获取多个键值对、发布订阅、设置过期时间等等。详细的使用方法可以参考redis官方文档：https://redis.io/documentation。
总结：本文介绍了如何在php7.0下安装redis扩展，通过下载redis扩展源码和安装依赖库的方式，将redis扩展编译成为php扩展，并且通过修改php.ini来引入redis扩展。最后，我们还给出了一个简单的示例代码，用来连接redis并添加一个键值对。