On Monday, 27 April 2015 at 02:30:36 UTC, Vladimir Panteleev wrote:
writef("%d%%\r", current * 100 / total); stdout.flush();
I'd prolly put a width specifier on it like %3d because otherwise if it was 100 percent then went to 99, the third digit wouldn't be erased.
