Backspace does not erase in stdout

[Rick Johnson]

On Dec 6, 3:27 am, Nobody <nob... at nowhere.com> wrote:
> On Mon, 05 Dec 2011 16:23:55 +0000, Grant Edwards wrote:
> >> Emitting "\b \b" is one very common way to do a destructive backspace.
> >> Inelegant? Perhaps, but a common inelegance.
>
> > That's pretty much the only way I've seen it done for the past 25
> > years.
>
> ... before which, it was BS-DEL-BS.
>
> DEL being 127 means that it punches through all of the holes on the paper
> tape, causing whatever was there previously to be replaced with a DEL
> character. BS-SPC-BS would only punch through one of the holes.

*Wise Observer Speculates:* Why on earth are we "21st century slaves"
to an archaic mid 20th century technology that punches holes in paper
tape? Anyone?

>>> isinstance(Progress, None)
True