From 43c3d6ccbb03b6311eac6dff371f3bdbe96166be Mon Sep 17 00:00:00 2001 From: Matthias Diester Date: Fri, 2 Aug 2024 16:17:32 +0200 Subject: [PATCH] Make `download-latest.sh` configurable Make org and repo configurable in `download-latest.sh`. --- scripts/download-latest.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/download-latest.sh b/scripts/download-latest.sh index 13b7b4c..e43eb22 100755 --- a/scripts/download-latest.sh +++ b/scripts/download-latest.sh @@ -22,8 +22,8 @@ set -euo pipefail -ORG=homeport -REPO=dyff +ORG="${ORG:-homeport}" +REPO="${REPO:-dyff}" if ! hash curl 2>/dev/null; then echo "Required tool curl is not installed."