Overview
Comment: | bootstrap.sh: Use curl instead of wget |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | trunk |
Files: | files | file ages | folders |
SHA3-256: |
d18b0ecc95ec1dbbe1f268328af6a01d |
User & Date: | js on 2024-10-27 23:30:49 |
Other Links: | manifest | tags |
Context
2024-10-27
| ||
23:30 | bootstrap.sh: Use curl instead of wget Leaf check-in: d18b0ecc95 user: js tags: trunk | |
23:28 | bootstrap.sh: Update checkin hash check-in: c4c20b1c01 user: js tags: trunk | |
Changes
Modified bootstrap.sh from [5ed3bd3da2] to [8ce7c657ce].
︙ | ︙ | |||
8 9 10 11 12 13 14 | set -e fossil_version="2.24" fossil_sha512="7fc7de7d947b0946866df38c6cb2215f6452d31903cae6470bb4a692816b2803eb66ea372280256e5cd00759e4d02a0ae459de2f56f39af10e873579d53d33ee" config_checkin="2eb2ee80f62086ec2644141df14caaa6f6f2427119c99d862fabc3bd18fa197f" download_and_verify() { | | | 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | set -e fossil_version="2.24" fossil_sha512="7fc7de7d947b0946866df38c6cb2215f6452d31903cae6470bb4a692816b2803eb66ea372280256e5cd00759e4d02a0ae459de2f56f39af10e873579d53d33ee" config_checkin="2eb2ee80f62086ec2644141df14caaa6f6f2427119c99d862fabc3bd18fa197f" download_and_verify() { curl "$2" >"$1" hash="$(openssl sha512 "$1" | cut -d' ' -f 2)" echo "Hash for $1:" echo " Expected: $3" echo " Got: $hash" if test x"$hash" = x"$3"; then |
︙ | ︙ |