Redis

Web sites

• https://redis.io/
• https://en.wikipedia.org/wiki/Redis

Install

• sudo apt install. This will also install the redis-tools package which contains redis-cli utility.

apt-get install redis-server

• build from source. How To Install and Configure Redis on Ubuntu 16.04

Tutorial

• http://www.tutorialspoint.com/redis/index.htm

set vs list

https://redis.io/topics/data-types

A set is similar to a list, except it does not have a specific order and each element may only appear once.

Get a help of a command

https://redis.io/topics/rediscli

help XXX

Examples

metacran

https://github.com/metacran/metacranweb

Docker

Exploring Redis with Docker

Start a new container running Redis

docker run -d -p 6379:6379 --name redis1 redis
# Run the Redis CLI in the container
docker exec -it redis1 sh
# redis-cli
127.0.0.1:6379> set name mark
OK
127.0.0.1:6379> get name
"mark"
127.0.0.1:6379> incr counter
(integer) 1
127.0.0.1:6379> incr counter
(integer) 2
127.0.0.1:6379> get counter
"2"
127.0.0.1:6379> exit
# exit

Connect from another linked container

docker run -it --rm --link redis1:redis --name client1 redis sh
# redis-cli -h redis
redis:6379>
redis:6379> get name
"mark"
redis:6379> get counter
"2"
redis:6379> exit
# exit

Clean up

docker stop redis1
docker rm redis1

Clients in other languages

R

rredis package