Closing stdin by pressing Ctrl+D does doesn't work on Windows

[skirsch]

doing readlines() or read(stdin) and typing Control-D to send an EOF works on other platforms, but not on Windows (using Julia 1.4.1). Nothing happens when you type ^D beyond just echoing ^D back to the terminal.

[StefanKarpinski]

Not sure it there's anything we can do about this—isn't this a matter of what the terminal does?

[skirsch]

it works on other platforms. It was surprising it doesn’t work on Windows. It did say in the documentation that it worked. http://www.jlhub.com/julia/manual/en/function/readline so if you do readlines(stdin), then how are you supposed to end your input as in the example above?

[KristofferC]

Some perhaps related discussion I found regarding Ctrl-D on Windows: https://groups.google.com/forum/#!topic/golang-dev/xnjP0VlL2nw. It's a bit old so things might have changed.

[musm]

This is pretty strange and there's definitely a bug here, because trying to send EOF using Ctrl+Z followed by enter, which is supposed to simulate EOF on Windows, i.e. Ctrl+D on Unix, also doesn't work. Thus there's no way to send the EOF character that I have found on Windows.

So you can use '^Z^M' (Ctrl-Z and then Enter) to send the Windows equivalent of EOF, but the char 'EOF' '^D` is not the same. So it seems like we need to specially handle the Windows case.

[skirsch]

The first thing is to agree on what the desired behavior SHOULD be for Julia. For example, should it interpret a ^D when typed from a terminal as an EOF? Should it interpret ^Z+Enter as EOF? I'll postulate that both should work.

[PallHaraldsson]

Does this work in Windows Terminal? I'm not on Windows, so can't test either way, but if this works now at least there, then just close this? And document where it works?

[inkydragon]

Does this work in Windows Terminal?

Ctrl+D works for me

env:

• Win11 23H2
• Win Terminal 1.20
• Juliaup 1.17.4
• julia v1.6.7/1.10.5/1.11.0-rc3

[skirsch]

i just tested just now. Control D will exit julia

if you do readlines()
control-D just echos.