8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
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"
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
|