Redis

Liens_WEB:

Installation

Redis n’est officiellement pas supporter par Windows. L’installation se fait donc uniquement en version Linux.

L’installation sous Windows10 est tout de même possible depuis le Bash Ubuntu intégrer (activer le mode développeur). L’utilisation d’un container (docker) est également possible.

Install Linux

 1 ## Téléchargement des dépendances
 2 sudo apt-get install build-essential
 3 sudo apt-get install tcl8.5
 4
 5 ## Télchargement et décompression du paquet
 6 wget http://download.redis.io/releases/redis-4.0.2.tar.gz
 7 # --> verifier si une version plus récente n'existe pas
 8
 9 tar xzf redis-4.0.2.tar.gz
10 cd redis-4.0.2
11
12 ## Compilation des sources
13 sudo make distclean
14 sudo make –j
15
16 ## Test des éléments compilés avant l'installation
17 sudo make test -j
18
19 ## Installation du serveur
20 sudo make install -j
21 cd utils
22 sudo ./install_server.sh
23 # --> Accepter tous les choix par défaut

Démarrer le serveur

  1. En mode manuelle :

    1 # Démarrer le service
2 sudo service redis_6379 start
3
4 # Rédémarrer le service
5 sudo service redis_6379 restart
6
7 # Arréter le service
8 sudo service redis_6379 stop

  2. Démarrer le service automatiquement :

    1 sudo update-rc.d redis_6379 defaults

Lancer le CLI

1 redis-cli

Utilisation avec Python

Liens_Web:

Doc de la lib [5]

  1. Installation :

    1 sudo pip install redis

# Exemple d’utilisation :

1 >>> import redis
2 >>> r = redis.StrictRedis(host='localhost', port=6379, db=0)
3 >>> r.set('foo', 'bar')
4 True
5 >>> r.get('foo')
6 'bar'