servo: Merge #3405 - Support dumb terminals in bootstrap downloads (from andreastt/ato:mach_dumb_term)

Source-Repo: https://github.com/servo/servo
Source-Revision: 8ec41f254676c5d089e838152111c72b4a88cff9

servo/python/servo/bootstrap_commands.py

@@ -47,8 +47,11 @@ def download(desc, src, dst):
         print("\rDownloading %s: %5.1f%%" % (desc, pct), end="")
         sys.stdout.flush()
 
-    urllib.urlretrieve(src, dst, report)
-    print()
+    print("Downloading %s..." % desc)
+    dumb = os.environ.get("TERM") == "dumb"
+    urllib.urlretrieve(src, dst, None if dumb else report)
+    if not dumb:
+        print()
 
 def extract(src, dst, movedir=None):
     tarfile.open(src).extractall(dst)