From a6a0e72a00bf3b691ed2bd594cab4d0b41d5ba54 Mon Sep 17 00:00:00 2001 From: Matthew Faltys Date: Thu, 16 Jan 2020 15:21:49 +0000 Subject: [PATCH] Add stable redis version to docker --- Makefile | 2 ++ deps/Dockerfile | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a6666bb..2a336bc 100644 --- a/Makefile +++ b/Makefile @@ -46,6 +46,8 @@ build_docker: fetch_sotw cp deps/chowner.sh stage.tmp/ cp deps/run_nethack.sh stage.tmp/ cp deps/reclist.c stage.tmp/ + wget -O stage.tmp/redis-server https://cryo.unixvoid.com/bin/redis/5.0.7/redis-server + chmod +x stage.tmp/redis-server cd stage.tmp/ && \ $(OS_PERMS) docker build -t $(IMAGE_NAME) . diff --git a/deps/Dockerfile b/deps/Dockerfile index e7b9754..6ac4d9a 100644 --- a/deps/Dockerfile +++ b/deps/Dockerfile @@ -3,7 +3,6 @@ FROM debian:stretch # install needed packages RUN apt-get update && \ DEBIAN_FRONTEND=noninteractive apt-get install -y \ - redis-server \ openssh-server \ autoconf \ bison \ @@ -100,6 +99,7 @@ RUN gcc reclist.c -o /bin/reclist RUN rm reclist.c # copy in files +COPY redis-server /usr/bin/ COPY config.gcfg / COPY nethack-launcher / COPY redis.conf /