I feel that providing all three numbers (used, available, free in MiB) is preferred. Of course, there's an option of doing: 2% used (98MiB of 100MiB free), but I believe there's value in having all three numbers.
Now to the point of getting rid of the second 'used', yes, it may be redundant in English however I'm not 100% confident that just 'x of y' will:
be easy to correctly translate without context
will mean as much in other languages
That's why I'm keeping PR as is for now, if there's a much better label later, it can always be updated.
If the suggestion to add the total space above the bar (Disk Space: 58.56GiB) is implemented, I think at that point it might make sense to adjust what's in the bar to make it cleaner and reduce the redundancy.
So does it actually make sense to try to make the two changes at the same time (either one PR with both changes, or two individual ones that are sync'd)?
@dannil - are you able to actually help with the "Disk Space: <total space>" part of the changes? And if so... @stangri - what are your thoughts about doing one or two coordinated PRs vs one now and one later?
Already done my friend, took like 15 minutes. My progress bar is not rebased on any changes of @stangri so it still has the behaviour that I posted early in the thread so if that looks inconsistent just ignore that.
If anyone's interested, here's what I'm currently running on my end (after having time to rebase on the changes by @stangri during this weekend and continuing on my previous post), taking into account the suggestion by @LilRedDog and the decluttering of @psherman, is it something like this you had in mind with the disk space as part of the label?