From ec6a36e863c1aa42120b67b1a343b6ed5a3045bf Mon Sep 17 00:00:00 2001 From: Josef Hardi Date: Wed, 27 Mar 2024 10:04:46 -0700 Subject: [PATCH] Fix to always download the latest version of ROBOT --- scripts/setup-environment.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/setup-environment.sh b/scripts/setup-environment.sh index 135a4ba..765afc2 100755 --- a/scripts/setup-environment.sh +++ b/scripts/setup-environment.sh @@ -41,7 +41,7 @@ if [ -e "$ENV/bin/activate" ]; then if [ ! -e "$ENV/bin/robot" ]; then curl https://raw.githubusercontent.com/ontodev/robot/master/bin/robot -o $ENV/bin/robot chmod +x $ENV/bin/robot - curl -L https://github.com/ontodev/robot/releases/download/v1.9.3/robot.jar -o $ENV/bin/robot.jar + curl -L https://github.com/ontodev/robot/releases/latest/download/robot.jar -o $ENV/bin/robot.jar fi # Intall Relation-Graph