Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
write-entities: nicer progress status
This makes two changes to make a progress status a bit nicer: - Print the number with thousands separator, e.g. "150_000" instead of 150000". - For interactive terminals it will also replace the current line rather than printing a new one. "\r" moves the cursor to the first column, and "\x1b[K" clears the line. This works on all current terminals ( where "current" means "since the 90s").
- Loading branch information