# echo 'deb http://archive.debian.org/debian wheezy main contrib non-free' >> /etc/apt/sources.list
# apt-get update
# apt-get install redis-server php5-dev php-pear
# pecl install redis
# echo 'extension=redis.so' > /etc/php5/mods-available/redis.ini
# ln -s /etc/php5/mods-available/redis.ini /etc/php5/conf.d/
# service apache2 restart
and test...
# redis-cli PING
PONG
# php -r "if (new Redis() == true){ echo 'OK'.PHP_EOL; } else { echo 'FAILED'.PHP_EOL; }"
OK
# vim /etc/php5/apache2/php.ini
...
session.save_handler = redis
session.save_path = "tcp://127.0.0.1:6379"
# service apache2 restart
# redis-cli
redis 127.0.0.1:6379> keys *
...
1585) "PHPREDIS_SESSION:5amk6d07avck1jqpr9ojjntnv6"
1586) "PHPREDIS_SESSION:pcm1l1pb5078b7ps2dd49mcpn5"
1587) "PHPREDIS_SESSION:1efd4oe3q13go3asuev3iioqg5"
1588) "PHPREDIS_SESSION:mrqtfph8pn1tbnlglq570t8424"
1589) "PHPREDIS_SESSION:28t1hnfjvnqhv7kosie7ligtn1"
1590) "PHPREDIS_SESSION:e68ltlu2orr72k3gtm33hhi063"
1591) "PHPREDIS_SESSION:jqmccjva0rf1ujki4h0fmln2h5"
...
# rm -rf /var/lib/php5
# mkdir /var/lib/php5
# chown root:root /var/lib/php5
# chmod 1733 /var/lib/php5