Ubuntu18.04 redisとphpのredis拡張子をインストール
Ubuntu18.04 redisとphp 7をインストール.2のredis拡張
インストールredis
phpのredis拡張子のインストール
phpinfo()に行ってみるとredisがあります
redisをコンパイルした后に/etc/php/の中でいくつかの5.6 7.0 7.1のフォルダを生成して自分のphpバージョンによって保留して削除するかもしれません
インストール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バージョンによって保留して削除するかもしれません