From fc73844a3ff342ebda242c3c45b03804a62282c1 Mon Sep 17 00:00:00 2001
From: Matthias Bernt <m.bernt@ufz.de>
Date: Tue, 27 Apr 2021 10:40:37 +0200
Subject: [PATCH] make random number an int

---
 planemo_ci_actions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/planemo_ci_actions.sh b/planemo_ci_actions.sh
index 23dc95c..349f2f2 100755
--- a/planemo_ci_actions.sh
+++ b/planemo_ci_actions.sh
@@ -131,7 +131,7 @@ if [ "$MODE" == "test" ]; then
   # set a random date. ofen tools put time stamps in output files
   # for tools undergoing short reviews (<1d) these will produce
   # problems with weekly checks that may be avoided by this
-  rand=$(echo "$RANDOM * $RANDOM * $RANDOM / 1000" | bc -l)
+  rand=$(echo "$RANDOM * $RANDOM * $RANDOM / 1000" | bc -l | sed 's/\..*$//')
   randdate=$(date -d "$rand" +%Y%m%d %H:%M)
   sudo date -s "$randdate"