redis_install

#!/bin/bash

# atualizamos os repositórios do APT
apt-get update

# instalamos o unzip e o wget que usaremos abaixo
apt-get install unzip wget -y
cd /tmp

# fazemos o download do fonte do pacote 
wget https://github.com/phpredis/phpredis/archive/master.zip -O phpredis.zip

# extraímos o pacote e utilizamos o PHPIZE para criar o módulo à partir do fonte.
unzip -o /tmp/phpredis.zip && mv /tmp/phpredis-* /tmp/phpredis && cd /tmp/phpredis && phpize && ./configure && make && make install

# criamos a pasta para adicionar o módulo
mkdir -p /etc/php5/mods-available/

# criamos o arquivo .ini que vai ativar a extensão no PHP
touch /etc/php5/mods-available/redis.ini && echo extension=redis.so > /etc/php5/mods-available/redis.ini

# ativamos a extensão no PHP
ln -s /etc/php5/mods-available/redis.ini /usr/local/etc/php/conf.d/

# adicionamos o arquivo .ini que vai orientar o PHP para salvar a sessão no Redis/
echo "session.save_handler = redis " > /usr/local/etc/php/conf.d/docker-php-ext-redis.ini
echo "session.save_path = tcp://redis:6379" >> /usr/local/etc/php/conf.d/docker-php-ext-redis.ini