Redis in Ubuntu 18.04 für PHP

Redis Server installieren

sudo apt install redis-server

Redis Server testen:

redis-cli

…gibt uns eine Redis Konsole (127.0.0.1:6379>)

ping

Die Ausgabe sollte pong sein.
Mit STRG+C kann man die Redis Konsole verlassen.

Starten und Stoppen des Redis Server mit Hausmitteln:

sudo systemctl enable redis-server.service

Die config Datei für Redis liegt in /etc/redis/. Nach Änderungen in dieser Datei den Redis Server neu starten:

sudo systemctl restart redis-server.service

Redis-PHP installieren:

sudo apt install php-redis
sudo systemctl restart apache2

github.com/phpredis/phpredis

…Datentyp Hash:
github.com/phpredis/phpredis#hashes