feat: use redis version 5+ via ppa:chris-lea (#5981)

2019-09-19 15:04:06 -04:00 · 2019-09-19 15:04:06 -04:00 · 51b3451e20
parent fee5c6c057
commit 51b3451e20
1 changed files with 1 additions and 0 deletions
--- a/net/scripts/install-redis.sh
+++ b/net/scripts/install-redis.sh
@ -4,4 +4,5 @@ set -ex
 [[ $(uname) = Linux ]] || exit 1
 [[ $USER = root ]] || exit 1

+add-apt-repository -y ppa:chris-lea/redis-server
 apt-get --assume-yes install redis