Я думаю, что всегда лучше (и проще) устанавливать из основных репозиториев в качестве первого варианта, если у вас нет каких-либо особых требований.
Пакет, который вы ищете, называется redis-server. Вы можете проверить информацию о его пакете с помощью apt show redis-server.
Также вы можете выполнить поиск по всем пакетам с упоминанием redis с apt search redis, или даже выполнить простую фильтрацию с помощью grep, использовать apt search redis | grep php для поиска php-redis или связанные пакеты, например.
Итак, вы можете просто запустить:
sudo apt install redis-serverна вашем терминале, чтобы установить полностью работающий
redis(сервер) окружающая среда.
Если у вас есть какие-либо особые требования, вы всегда можете создать из исходного кода и установить, как @ George написал в своем ответе.
Надеюсь, это поможет.