BGP-Ranking/temp/run_redis.sh

17 lines
515 B
Bash
Executable File

#!/bin/bash
set -e
set -x
if [ -f ../../valkey/src/valkey-server ]; then
../../valkey/src/valkey-server ./intake.conf
../../valkey/src/valkey-server ./prepare.conf
elif [ -f ../../redis/src/redis-server ]; then
../../redis/src/redis-server ./intake.conf
../../redis/src/redis-server ./prepare.conf
else
echo "Warning: using system redis-server. Valkey-server or redis-server from source is recommended." >&2
/usr/bin/redis-server ./intake.conf
/usr/bin/redis-server ./prepare.conf
fi