REDIS für PHP7...?

Hallo,

kurze Frage: Besteht die Möglichkeit, auch die REDIS-Extension für PHP7.x ins Repository aufzunehmen?

Own- bzw. NextCloud läuft um so vieles besser mit REDIS.

Viele Grüße,
Oskar Groh

Ja, der Gedanke ist mir auch gekommen. Nur leider gehört das nicht zu den Dingen, die ich täglich mache und ich konnte noch keine Dokumentation finden, die auf eine Multi-PHP-Installation passt. Hast Du da zufällig was im Ärmel?

Ja. Das gilt dann aber nur für die PHP-Standard-Version, nicht aber für die extra PHP-CGI. Sobald ein Kunde - weil er das eben so will - auf eben eine solche umstellt ist kein php-redis mehr vorhanden.

Ah jetzt ja! Danke, das war der Schubser, den ich brauchte.

Himmelherrgott! Das war so einfach, dass es schmerzt. Ich schreibe hier mal auf, was gemacht werden muss. Hauptsächlich deshalb, weil ich es bis zum nächsten Server ganz sicher wieder vergessen habe und ebenso sicher hier suchen werde. Und vielleicht hilft es ja noch wem, mit Brett vorm Kopf.

Also, entweder man macht es auf einem Server und rollt es dann auf andere aus oder man installiert sich - falls nicht schon vorhanden - zunächst die benötigten Entwicklungs-Pakete mit

apt-get install autoconf gcc make

Der Rest ist Copy&Paste. Lediglich die PHP-Version sollte vorher im Texteditor entsprechend angepasst werden:

phpvers="7.x"; \
instbin="/opt/php-$phpvers/bin"; \
instconf="/opt/php-$phpvers/etc/conf.d"; \
$instbin/pecl channel-update "pecl.php.net"; \
$instbin/pecl install igbinary; \
$instbin/pecl install redis; \
echo "extension=redis.so" >$instconf/redis.ini; \
echo "extension=igbinary.so" >$instconf/igbinary.ini

Danke nochmal für den Schlag in den Nacken.