How to install phpredis

I tried this code,it inserted the file there but it also did not work:
sudo bash -c "echo extension=redis.so > /etc/opt/remi/php72/php.d/redis.ini"

I restarted the server using this code:
$ sudo systemctl restart php72-php-fpm.service

Still did not find the answer. But his tutorial seems to be a more complete one: https://www.linuxtweaks.in/install-phpredis-redis-server-in-centos/

Even when I set extension = redis.so directly at /etc/opt/remi/php72/php.ini it did not work. There is not conf.d folder for php 7.2 as the tutorial https://serverpilot.io/docs/how-to-install-the-php-redis-extension suggests?

I also tried sudo bash -c "echo extension=redis.so > /opt/remi/php72/root/usr/share/ghostscript/conf.d/redis.ini" with no success.

I`m wondering if my mistake is to not have installed this dependency as https://www.techandme.se/install-redis-cache-on-ubuntu-server-with-php-7-and-nextcloud/ tutorial recommends:
$~: sudo apt-get install php7.0-dev -y

But I this that sudo apt-get -y install gcc make autoconf libc-dev pkg-config requested in the first tutorial maybe is that.

• This reply was modified 5 years, 1 month ago by diegpl.

Now I reinstalled PHPRedis using
yum install php-pecl-redis
at this tutorial https://github.com/phpredis/phpredis/blob/develop/INSTALL.markdown and restarted php using sudo systemctl restart php72-php-fpm.service with no success either.

This forum is for plugin support. Please ask your web hosting company for assistance with installing Redis.

I`m actually my “web hosting company” and I do not get why is not these questions related to the plugin, since they are needed to make it run for complete. As said here too: https://www.ads-software.com/support/topic/redis-extension-not-found/

The plugin ships with Predis, which doesn’t have any requirements.

Well, maybe now I am in a point that is more related to the plugin then: I inserted redis.ini in the below folders:
/etc/opt/remi/php72/php.d/50-redis.ini
/etc/php-zts.d/50-redis.ini
/etc/php.d/50-redis.ini
/root/phpredis/rpm/50-redis.ini

Needed to set a prefix number because ppl said it is supposed to run after json module, which is 20-json.ini.

When I run php -m redis module now is showing there, but the plugin still does not recognize it. Do you, or someone else that could be reading this, know tell me why?

Thank you very much! ??