CI: Fix up redis create-cluster script for version on Ubuntu 20.04

diff --git a/scripts/ci/redis-setup.sh b/scripts/ci/redis-setup.sh
index 5076730ee6426eac15abafa1d637216e9a2eb6ff..336649b7dad068bc468e9b9bc154c6671ab51257 100755 (executable)
--- a/scripts/ci/redis-setup.sh
+++ b/scripts/ci/redis-setup.sh
@@ -31,6 +31,11 @@ fi
 sed -ie "s#\$BIN_PATH/redis-cli#echo 'yes' | redis-cli#" "${TMP_REDIS_DIR}/create-cluster"
 sed -ie "s#\$BIN_PATH/redis-server#redis-server#" "${TMP_REDIS_DIR}/create-cluster"
 
+# Remove option not applicable to redis version on Ubuntu 20.04
+sed -ie "s# --appenddirname appendonlydir-\${PORT}##" "${TMP_REDIS_DIR}/create-cluster"
+# Fix cleanup to match option change above
+sed -ie "s#appendonlydir-\*#appendonly\*.aof#" "${TMP_REDIS_DIR}/create-cluster"
+
 # Again, not needed for CI, but useful for local testing
 if [ -z "$1" ]; then
     create-cluster start