live-bootstrap

commit: 969f42155b3225748856c63d88f79857b39e36bf
parent 78a7a5e222f829fe9e90c669b8b8adf72fd071b5
Author: Andrius Štikonas <andrius@stikonas.eu>
Date:   Wed, 10 Jan 2024 22:36:48 +0000

Merge pull request #404 from rick-masters/add-curl-header-for-download

Add curl header to bypass suspected savannah throttling.
Diffstat:
M
lib/generator.py
3
++-

1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/lib/generator.py b/lib/generator.py
@@ -294,7 +294,8 @@ this script the next time")
 
         # Actually download the file
         headers = {
-                "Accept-Encoding": "identity"
+                "Accept-Encoding": "identity",
+                "User-Agent": "curl/7.88.1"
         }
         if not os.path.isfile(abs_file_name):
             print(f"Downloading: {file_name}")