diff options
| author | Michael Muré <batolettre@gmail.com> | 2023-01-10 21:36:03 +0100 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2023-01-11 14:31:22 +0100 |
| commit | 7df34aa7a40be0d7b759ea3ef42cedf9f25f32b2 (patch) | |
| tree | a3d1cc77f56814d4ec8838f18cb6768035c1b290 /query | |
| parent | 9c50a359704f4edd2f33df6d256e032feae3a576 (diff) | |
| download | git-bug-7df34aa7a40be0d7b759ea3ef42cedf9f25f32b2.tar.gz | |
commands: add a nice terminal progress bar when building the cache
One issue remaining is that writing the cache takes significant time, but I don't know how to reflect that nicely to the user.
Diffstat (limited to 'query')
0 files changed, 0 insertions, 0 deletions