image/base/install-redis

   1 #!/bin/bash
   2 set -e
   3 REDIS_VERSION=5.0.5
   4 REDIS_HASH="2139009799d21d8ff94fc40b7f36ac46699b9e1254086299f8d3b223ca54a375"
   5
   6 cd /tmp
   7
   8 # Prepare Redis source.
   9 wget http://download.redis.io/releases/redis-$REDIS_VERSION.tar.gz
  10 echo "$REDIS_HASH redis-$REDIS_VERSION.tar.gz" | sha256sum -c
  11 tar zxf redis-$REDIS_VERSION.tar.gz
  12 cd redis-$REDIS_VERSION
  13
  14 # Building and installing binaries.
  15 make && make install PREFIX=/usr
  16
  17 # Add `redis` user and group.
  18 adduser --system --home /var/lib/redis --quiet --group redis || true
  19
  20 # Configure Redis.
  21 mkdir -p /etc/redis
  22 mkdir -p /var/lib/redis
  23 mkdir -p /var/log/redis
  24 cp /tmp/redis-$REDIS_VERSION/redis.conf /etc/redis
  25
  26 chown -R redis:redis /var/lib/redis
  27 chmod 750 /var/lib/redis
  28
  29 chown -R redis:redis /var/log/redis
  30 chmod 750 /var/log/redis
  31
  32 # Clean up.
  33 cd / && rm -rf /tmp/redis*