diff --git a/install_versioned_redis.sh b/install_versioned_redis.sh index 0cb789a..109d597 100755 --- a/install_versioned_redis.sh +++ b/install_versioned_redis.sh @@ -2,11 +2,12 @@ set -ex # Script to install redis from url to /bin -# $1 - bin-name -# $2 - url +# $1 - source-bin-name +# $2 - target-bin-name +# $3 - url # download & extract -wget "$2" -O arch.tar.gz -q +wget "$3" -O arch.tar.gz -q rm -rf out mkdir out tar -xf arch.tar.gz --directory out @@ -20,7 +21,7 @@ cd ../.. # Copy binary mkdir -p bin -mv $REDIS_ROOT/src/redis-server /bin/$1 +mv $REDIS_ROOT/src/$1 /bin/$2 # Cleanup rm -rf out diff --git a/u20.04-dev.Dockerfile b/u20.04-dev.Dockerfile index de2096f..3a3f5fd 100644 --- a/u20.04-dev.Dockerfile +++ b/u20.04-dev.Dockerfile @@ -20,4 +20,6 @@ RUN update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-9 40 \ --slave /usr/bin/g++ g++ /usr/bin/g++-9 RUN /tmp/get_mold.sh -RUN /tmp/install_versioned_redis.sh redis-server-6.2.11 https://github.com/redis/redis/archive/6.2.11.tar.gz +RUN /tmp/install_versioned_redis.sh redis-server redis-server-6.2.11 https://github.com/redis/redis/archive/6.2.11.tar.gz +RUN /tmp/install_versioned_redis.sh redis-server redis-server-7.2.2 https://github.com/redis/redis/archive/7.2.2.tar.gz +RUN /tmp/install_versioned_redis.sh valkey-server valkey-server-8.0.1 https://github.com/valkey-io/valkey/archive/refs/tags/8.0.1.tar.gz