Adrian Vovk
5f9dd9c64d
progress-bar: Add unbuffered variant
...
The progress_bar functions do their own buffering: they reconfigure
stderr, then print, then flush and disable buffering on their own. In
situations where multiple progress bars are being drawn at a time (for
example, in updatectl), it's even more efficient to hoist the buffering
and flushing to the call site, and avoid drawing each progress bar
individually.
To that end, new _unbuffered variants of the progress_bar functions. And
we use them in updatectl.
2024-08-30 22:50:24 -04:00
..
2024-08-20 11:11:53 +02:00
2024-08-29 12:48:55 +01:00
2024-08-28 05:10:06 +09:00
2024-08-20 11:11:53 +02:00
2024-08-29 15:14:09 +02:00
2024-08-22 20:33:22 +02:00
2024-07-16 11:57:32 +02:00
2024-08-30 14:17:36 +02:00
2024-08-30 10:35:44 +02:00
2024-08-20 11:11:53 +02:00
2024-07-31 04:02:43 -06:00
2024-07-15 10:18:18 +02:00
2024-07-30 22:39:20 +02:00
2024-07-16 11:57:32 +02:00
2024-08-20 10:59:47 +02:00
2024-07-19 11:44:04 +02:00
2024-08-19 11:36:32 +09:00
2024-07-17 18:05:40 +02:00
2024-08-30 21:25:37 -04:00
2024-08-22 20:33:22 +02:00
2024-08-22 20:33:22 +02:00
2024-08-16 17:15:39 +09:00
2024-08-30 21:43:44 -04:00
2024-08-28 13:30:52 +02:00
2024-08-02 11:22:24 +09:00
2024-08-19 11:36:32 +09:00
2024-08-23 05:38:18 +09:00
2024-08-29 12:48:55 +01:00
2024-07-13 18:00:16 +02:00
2024-08-19 11:36:32 +09:00
2024-07-16 11:57:32 +02:00
2024-08-25 06:25:07 +09:00
2024-08-28 18:56:45 +02:00
2024-07-16 11:57:32 +02:00
2024-07-16 11:57:32 +02:00
2024-07-16 11:57:32 +02:00
2024-08-30 21:25:37 -04:00
2024-07-16 11:57:32 +02:00
2024-08-05 18:32:26 +01:00
2024-06-26 23:01:22 +02:00
2024-08-27 05:30:06 +09:00
2024-08-20 20:36:07 +09:00
2024-08-30 22:50:24 -04:00
2024-07-03 17:25:26 +02:00
2024-08-05 00:01:34 +01:00
2024-07-16 11:57:32 +02:00
2024-08-20 11:11:53 +02:00
2024-07-16 11:57:32 +02:00
2024-08-29 12:48:55 +01:00
2024-08-28 11:33:09 +09:00
2024-08-30 22:50:24 -04:00
2024-08-06 13:02:58 +02:00
2024-08-30 21:25:37 -04:00
2024-08-19 11:36:32 +09:00
2024-07-03 17:25:26 +02:00
2024-07-19 11:44:04 +02:00
2024-08-28 05:26:26 +09:00
2024-08-29 13:58:29 +03:00
2024-07-16 11:57:32 +02:00
2024-08-23 23:10:58 +09:00
2024-08-28 03:03:23 +09:00
2024-06-19 16:37:12 +02:00