« Le système d'exploitation GNU-Linux/Redis » : différence entre les versions
Contenu supprimé Contenu ajouté
Aucun résumé des modifications |
|||
Ligne 5 :
Pour l'installer :
<syntaxhighlight lang=bash>
sudo apt-get install redis-server
</syntaxhighlight>
Sur Docker :
<syntaxhighlight lang=bash>
RUN pecl install redis \
&& docker-php-ext-enable redis
</syntaxhighlight>
== Commandes ==
|