Le 11 décembre 2022 19:00:59 GMT+01:00, Julien Lepiller <julien@lepiller.eu> a écrit :
Hi Guix!
The attached patch is a small improvement on our progress bars. Instead
of our cute ASCII art:
1.2MiB/s 00:04 [### ] 18.5%
We get something a little more smooth:
1.1MiB/s 00:04 ▕███ ▏ 17.1%
1.2MiB/s 00:05 ▕███▋ ▏ 20.7%
Using unicode characters that can represent 1/8 of a character width.
I used port-encoding to detect when the output supports unicode, but
maybe there's something more dedicated to figuring that out? When the
port encoding is not UTF-8, we fall back to the ASCII version.
Thoughts?