io::Stdin to read input interactively, but when I try to copy a relatively large input to my interactive program, only the first 1024 characters appear. If I don’t erase the last character, it won’t even append the EOF when I press enter.
What I’d like to do here is to paste the entire text, not just the first 1024 characters of it.
Specifically I’ve tried both
Stdin.read_line() and explicitly acquiring a
StdinLock, then reading from that. Both yield the same result described above.
I’m not sure if it’s relevant, but I’m using OS X.