Linux machines:
First, install Redis
wget http://download.redis.io/redis-stable.tar.gz tar xzf redis-stable.tar.gz cd redis-stable make install
Second, start Redis:
1) redis-server command to start, the default port 6379 (see below)
2) redis-server --port 6380 to start the specified port
Third, stop Redis
redis-cli SHUTDOWN