diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-02-04 11:27:24 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-02-04 16:20:01 +0100 |
commit | 7473bce207af846312d5167a398f5f20bbf3e896 (patch) | |
tree | dac180566081c809c7d8b8544cec3b5ac9136dd0 /gnu/packages/video.scm | |
parent | 3869effdd5b3c30843b464cd18d68fb6cd8d3db0 (diff) | |
download | guix-patches-7473bce207af846312d5167a398f5f20bbf3e896.tar guix-patches-7473bce207af846312d5167a398f5f20bbf3e896.tar.gz |
status: Erase the progress bar or spinner.
Previously the progress bar wouldn't be erased by the time the next
"building foo" line would be printed.
* guix/status.scm (print-build-event)[erase-current-line*]: New
procedure.
Call it instead of (display "\r").
Diffstat (limited to 'gnu/packages/video.scm')
0 files changed, 0 insertions, 0 deletions