From b4918f6fbe6215f1ae666e034be5144b7bf84f54 Mon Sep 17 00:00:00 2001
From: ale <ale@incal.net>
Date: Thu, 7 Sep 2017 09:40:46 +0100
Subject: [PATCH] Work around lack of $RANDOM in dash
---
setup.sh | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/setup.sh b/setup.sh
index 6124931..1fab176 100755
--- a/setup.sh
+++ b/setup.sh
@@ -8,14 +8,15 @@ DATADIR=/data
# Get or generate a unique server ID.
get_server_id() {
if [ ! -e ${DATADIR}/.server-id ]; then
- echo $RANDOM > ${DATADIR}/.server-id
+ # Oops, dash has no $RANDOM.
+ shuf -i 1-65535 -n 1 > ${DATADIR}/.server-id
fi
cat ${DATADIR}/.server-id
}
# Configure the server, replication state is unknown yet.
configure_server() {
- local server_id=$(get_server_id)
+ local server_id=`get_server_id`
echo "Server ID is ${server_id}" >&2
# If /data/conf.d exists, load configuration snippets from there.
--
GitLab