Ubuntu18.04 redisとphpのredis拡張子をインストール


Ubuntu18.04 redisとphp 7をインストール.2のredis拡張
インストールredis
#  
sudo apt-get install redis-server
#  
sudo service redis-server start

phpのredis拡張子のインストール
git clone -b php7 https://github.com/phpredis/phpredis.git
mv phpredis/ /etc/opt
cd /etc/opt/phpredis
phpize #        sudo apt-get install php7.2-dev   phpize
./configure
make && make install
sudo ln -s /etc/php/7.2/mods-available/redis.ini /etc/php/7.2/fpm/conf.d/20-redis.ini
#       sudo vim /etc/php/7.2/fpm/conf.d/redis.ini     extension=redis.so
sudo service php7.2-fpm restart
sudo service nginx restart

phpinfo()に行ってみるとredisがあります
redisをコンパイルした后に/etc/php/の中でいくつかの5.6 7.0 7.1のフォルダを生成して自分のphpバージョンによって保留して削除するかもしれません