#!/usr/bin/env bash VERSION="2.1.0" declare -A plugins plugins=( ["aws"]="2.2.0" ["gcp"]="3.3.0" ["random"]="2.1.0" ["kubernetes"]="2.0.0" ) function genMainSrc() { local url="https://get.pulumi.com/releases/sdk/pulumi-v${VERSION}-$1-x64.tar.gz" local sha256 sha256=$(nix-prefetch-url "$url") echo " {" echo " url = \"${url}\";" echo " sha256 = \"$sha256\";" echo " }" } function genSrcs() { for plug in "${!plugins[@]}"; do local version=${plugins[$plug]} # url as defined here # https://github.com/pulumi/pulumi/blob/06d4dde8898b2a0de2c3c7ff8e45f97495b89d82/pkg/workspace/plugins.go#L197 local url="https://api.pulumi.com/releases/plugins/pulumi-resource-${plug}-v${version}-$1-amd64.tar.gz" local sha256 sha256=$(nix-prefetch-url "$url") echo " {" echo " url = \"${url}\";" echo " sha256 = \"$sha256\";" echo " }" done } cat <