From cac796a5bb32f686b06dae72271b91a5aecd3e95 Mon Sep 17 00:00:00 2001
From: downtownallday <downtownallday@gmail.com>
Date: Thu, 20 Oct 2022 17:02:04 -0400
Subject: [PATCH] Enable compression for wget downloads. This fixes an issue
 where unless compression=auto (or compression=gzip) is specified, using wget
 to download jquery.min.js by setup/management.sh fails with max redirects
 exceeded. The man page says --compression is an experimental option, but it
 doesn't appear to have any problems. Note that downloading jquery.min.js with
 curl works fine when wget without --compression fails.

---
 setup/functions.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/setup/functions.sh b/setup/functions.sh
index b3041fb5..e0d218e7 100644
--- a/setup/functions.sh
+++ b/setup/functions.sh
@@ -220,7 +220,7 @@ function wget_verify {
 	DEST=$3
 	CHECKSUM="$HASH  $DEST"
 	rm -f $DEST
-	hide_output wget -O $DEST $URL
+	hide_output wget --compression=auto -O $DEST $URL
 	if ! echo "$CHECKSUM" | sha1sum --check --strict > /dev/null; then
 		echo "------------------------------------------------------------"
 		echo "Download of $URL did not match expected checksum."