Add curl header to bypass suspected savannah throttling.

rick-masters · rick-masters · commit 7a0f03678cc0 · 2024-01-10T17:46:15.000Z
diff --git a/lib/generator.py b/lib/generator.py
@@ -294,7 +294,8 @@ def download_file(url, directory, file_name):
 
         # 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}")

Original file line number	Diff line number	Diff line change
`@@ -294,7 +294,8 @@ def download_file(url, directory, file_name):`
`294`	`294`
`295`	`295`	`# Actually download the file`
`296`	`296`	`headers = {`
`297`		`- "Accept-Encoding": "identity"`
	`297`	`+ "Accept-Encoding": "identity",`
	`298`	`+ "User-Agent": "curl/7.88.1"`
`298`	`299`	`}`
`299`	`300`	`if not os.path.isfile(abs_file_name):`
`300`	`301`	`print(f"Downloading: {file_name}")`