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 | |
| parent | 3869effdd5b3c30843b464cd18d68fb6cd8d3db0 (diff) | |
| download | guix-7473bce207af846312d5167a398f5f20bbf3e896.tar guix-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')
0 files changed, 0 insertions, 0 deletions