diff --git a/src/build/tools.sh b/src/build/tools.sh index 69fa268..20b2fd0 100644 --- a/src/build/tools.sh +++ b/src/build/tools.sh @@ -1,10 +1,11 @@ +#!/bin/bash dl_gh() { for repo in $1 ; do wget -qO- "https://api.github.com/repos/$2/$repo/releases/$3" \ | jq -r '.assets[] | "\(.browser_download_url) \(.name)"' \ | while read -r url names; do echo "Downloading $names from $url" - wget -q -O "$names" $url + wget -q -O "$names" "$url" done done echo "All assets downloaded"