[tex-k] Extra space before page number after \batchmode

[Igor Liferenko]

Hi Andreas and Karl,

>>    without a newline after '\batchmode'; looks not good.

> No, it doesn't look good, but it has always been that way, in
> (presumably) all implementations. Knuth's decision. -k

It's not Knuth's decision. It's misconception.
In my implementation it works right - i.e., it prints newline before
shell prompt.

I can just give an iron argument:

In all implementations there is newline after:

1)    write(term_out,'! End of file on the terminal... why?');

and

2)

    slow_print(log_name); print_char(".");
    (i.e., "Transcript written ...")

But in tex.web there is NOT!

What does it mean? It means that on PDP-10 (where TeX
was developed) newline was automatically printed on terminal
after program exit. It follows that after "\batchmode"
newline also must be printed exactly because the program
exited!

As for answer #6 [1] - there is meant the <return> produced by print_ln in
    print("..."); print_ln; update_terminal; return;
The fact that newline is not printed is pointed out because
otherwise there would have been an empty line before shell
prompt, which does not look good.

[1]: https://www.tug.org/TUGboat/tb11-4/tb30knut-exercises.pdf

Cheers,
Igor