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?