From 23be648456bc6e4b6a6f8014fa34266b89169127 Mon Sep 17 00:00:00 2001 From: Viktor Lofgren Date: Mon, 2 Oct 2023 16:38:23 +0200 Subject: [PATCH] (setup) use curl instead of wget for setup.sh --- run/setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run/setup.sh b/run/setup.sh index 71d736b7..79ca8e0b 100755 --- a/run/setup.sh +++ b/run/setup.sh @@ -12,7 +12,7 @@ function download_model { if [ ! -f $model ]; then echo "** Downloading $url" - wget -O $model $url + curl -s -o $model $url fi }