Re: parallel bootstrap failure; _prompt_? during bootstrap build

[Eli Zaretskii]

> From: Richard Stallman <address@hidden>
> CC: address@hidden
> Date: Tue, 20 Nov 2007 07:12:25 -0500
> 
>     Like Stefan, I think decoding it is TRT under -batch.  It doesn't
>     matter if it comes from a file: if the user redirects stdin to a file,
>     she ought to know that the file should be encoded the same as keyboard
>     input.
> 
> We could say that, but is it the right thing to say?  It seems to me
> that input which isn't coming specifically "from a terminal" should
> not get the special treatment for input coming specifically "from a
> terminal".

If my keyboard input is in some specific encoding, that generally
means my text files, in particular those I feed instead of keyboard
input, will tend to be encoded the same way.