configs  Check-in [d18b0ecc95]

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: d18b0ecc95ec1dbbe1f268328af6a01d99024942137e37087f1f1963f6050ead
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
Hide Diffs Unified Diffs Ignore Whitespace Patch

Modified bootstrap.sh from [5ed3bd3da2] to [8ce7c657ce].

︙︙
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() {
	wget -O "$1" "$2"
	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








|








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
︙︙