Skip to content
Commit dfb0c190 authored by Paul Wise's avatar Paul Wise Committed by Chris Lamb
Browse files

Clear the progress bar after completion. (Closes: #901758) 

Handle terminals that do not support erasing the line by
filling the terminal with spaces.

Ignore output devices that are not terminals.

Implements: https://bugs.debian.org/901758
Requires: Python 3.2 for shutil.get_terminal_size
parent 3ee43e17
Pipeline #12565 failed with stage
in 11 minutes and 32 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment