image/base/install-redis

   1 #!/bin/bash
   2 set -e
   3 REDIS_VERSION=5.0.3
   4 REDIS_DOWNLOAD_SHA=e290b4ddf817b26254a74d5d564095b11f9cd20d8f165459efa53eb63cd93e02
   5
   6 cd /tmp
   7
   8 # Prepare Redis source.
   9 wget http://download.redis.io/releases/redis-$REDIS_VERSION.tar.gz
  10 echo "$REDIS_DOWNLOAD_SHA 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*