diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-02-19 01:00:00 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-02-19 01:00:06 +0100 |
| commit | 5d10644371abd54d0edcd638691113f0a92de743 (patch) | |
| tree | 04cffdcd97971c8456f72996ec8c1b1b5dfbb296 /po | |
| parent | 98e2a15b1e31689b75f3ded128f1650d0f091436 (diff) | |
git: Make better use of the better progress bar.
Commit 189525412e3d803f3f77e15ec4a62aaa57f65a2d introduced
‘high-resolution’ Unicode progress bars, but these require more granular
calls to reach their full potential.
* guix/git.scm (show-progress): Derive the number of PROGRESS-BAR
updates from its maximum resolution, rather than hard-coding 100.
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions