diff options
Diffstat (limited to 'python/servo/bootstrap_commands.py')
| -rw-r--r-- | python/servo/bootstrap_commands.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/python/servo/bootstrap_commands.py b/python/servo/bootstrap_commands.py index 13a411f7008..bf83803afac 100644 --- a/python/servo/bootstrap_commands.py +++ b/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) |