BGP-Ranking/temp/run_redis.sh

17 lines
515 B
Bash
Raw Normal View History

#!/bin/bash
set -e
set -x
2024-05-27 15:06:30 +02:00
if [ -f ../../valkey/src/valkey-server ]; then
2024-05-27 16:23:28 +02:00
../../valkey/src/valkey-server ./intake.conf
../../valkey/src/valkey-server ./prepare.conf
2024-05-27 15:06:30 +02:00
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