From af99a5a2670a58b5db7165f242a8e83dbb21283c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Thu, 12 Sep 2019 11:45:53 +0200
Subject: [PATCH] More explicit Bash primitive name

---
 setup-download-links.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup-download-links.sh b/setup-download-links.sh
index e653da2..0ae2128 100755
--- a/setup-download-links.sh
+++ b/setup-download-links.sh
@@ -19,8 +19,8 @@ do
     for dir in "${arr[@]}"
     do
         mkdir -p "$dir"
-        mapfile -t filenames < <(jq .[].filename "$dir.json")
-        mapfile -t timestamps < <(jq .[].date "$dir.json")
+        readarray -t filenames < <(jq .[].filename "$dir.json")
+        readarray -t timestamps < <(jq .[].date "$dir.json")
         n=$(jq length "$dir.json")
         cd "$dir"
         for ((i = 0; i < n; i++))
-- 
GitLab