Add post-install script execution to init_deps.sh

This commit is contained in:
Théophile Diot 2025-01-16 09:52:07 +01:00
parent 190225c701
commit c6c9f510ca
No known key found for this signature in database
GPG key ID: FA995104A0BA376A

View file

@ -17,6 +17,7 @@ do
id="$(echo "$url" | sed 's/.*\/\([^\/]*\)\.tar\.gz/\1/')"
name="$(echo "$download" | jq -r .name)"
sha512="$(echo "$download" | jq -r .sha512)"
post_install="$(echo "$repo" | jq -r .post_install)"
echo " Downloading ${name} from $url"
@ -34,6 +35,11 @@ do
else
echo "⚠️ Skipping download of $url because target directory is already present"
fi
if [ "$post_install" != "null" ]; then
echo " Running post install script for ${name}"
bash -c "$post_install"
fi
done
jq -c .git_repository[] src/deps/deps.json | while read -r repo