···1213# Version of Pulumi from
14# https://www.pulumi.com/docs/get-started/install/versions/
15-VERSION="3.31.0"
1617# An array of plugin names. The respective repository inside Pulumi's
18# Github organization is called pulumi-$name by convention.
···109 local tmpdir
110 tmpdir="$(mktemp -d)"
111112- local i=0
113-114 for plugVers in "${plugins[@]}"; do
115 local plug=${plugVers%=*}
116 local version=${plugVers#*=}
···118 # https://github.com/pulumi/pulumi/blob/06d4dde8898b2a0de2c3c7ff8e45f97495b89d82/pkg/workspace/plugins.go#L197
119 local url="https://api.pulumi.com/releases/plugins/pulumi-resource-${plug}-v${version}-${1}-${2}.tar.gz"
120 genSrc "${url}" "${plug}" "${tmpdir}" &
121- ((++i))
122 done
123124 wait
···1213# Version of Pulumi from
14# https://www.pulumi.com/docs/get-started/install/versions/
15+VERSION="3.34.1"
1617# An array of plugin names. The respective repository inside Pulumi's
18# Github organization is called pulumi-$name by convention.
···109 local tmpdir
110 tmpdir="$(mktemp -d)"
11100112 for plugVers in "${plugins[@]}"; do
113 local plug=${plugVers%=*}
114 local version=${plugVers#*=}
···116 # https://github.com/pulumi/pulumi/blob/06d4dde8898b2a0de2c3c7ff8e45f97495b89d82/pkg/workspace/plugins.go#L197
117 local url="https://api.pulumi.com/releases/plugins/pulumi-resource-${plug}-v${version}-${1}-${2}.tar.gz"
118 genSrc "${url}" "${plug}" "${tmpdir}" &
0119 done
120121 wait