Overview
| Comment: | Better handling of the case where no SDK is available |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA1: |
feb20a31262d2384da420cb15e9d2eec |
| User & Date: | rkeene on 2019-09-17 16:31:06 |
| Other Links: | manifest | tags |
Context
|
2020-01-22
| ||
| 18:44 | Upgrade to Tcl/Tk 8.6.10 check-in: e6fc8fa373 user: rkeene tags: trunk | |
|
2019-09-17
| ||
| 16:31 | Better handling of the case where no SDK is available check-in: feb20a3126 user: rkeene tags: trunk | |
| 16:16 | Add support for fetching the SDK over the API check-in: 2ec364d475 user: rkeene tags: trunk | |
Changes
Modified build/utils/download-api-client from [3a69b30ec1] to [ca3758bbcf].
| ︙ | |||
146 147 148 149 150 151 152 153 154 155 156 157 158 159 | 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 | + + + + + + + + |
fi
exit 1
fi
if [ "${downloadSDK}" = 'false' ]; then
kit_url="$(jq -crM .kit_url <<<"${info}")"
if [ "${kit_url}" = 'null' ]; then
kit_url=''
fi
if [ "${kit_url}" = '' ]; then
echo "No download available." >&2
exit 1
fi
if [ -z "${kit_filename}" ]; then
kit_filename="${kit_url//*\//}"
case "${kit_filename}" in
*.*)
kit_filename_base="${kit_filename//.*/}"
kit_filename_ext=".${kit_filename//*./}"
;;
|
| ︙ | |||
167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 | 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 | + + + + + + + |
kit_filename="${kit_filename_base}-${kit_filename_platform}-${kit_filename_tcl_version}${kit_filename_ext}"
fi
curl -sSL "${kit_url}" > "${kit_filename}"
chmod 755 "${kit_filename}"
else
kit_sdk_url="$(jq -crM .kit_sdk_url <<<"${info}")"
if [ "${kit_sdk_url}" = 'null' ]; then
kit_sdk_url=''
fi
if [ "${kit_sdk_url}" = '' ]; then
echo "No SDK available." >&2
exit 1
fi
if [ -z "${kit_filename}" ]; then
kit_filename="${kit_sdk_url//*\//}"
fi
curl -sSL "${kit_sdk_url}" > "${kit_filename}"
fi
echo "Wrote: ${kit_filename}"
exit 0
|