install_redis.sh

#!/bin/bash

: ${REDIS_VERSION:="4.0.11"}

test -d redis || git clone https://github.com/antirez/redis
git -C redis checkout $REDIS_VERSION
make -C redis