There are still some issues with this. Eg, when executing a file it shouldn't set the terminal to raw mode.

Coverage remained the same at 93.82% when pulling 2949d08 on unix-mp-readline-v2 into 3c4b5d4 on master.

Tested on OS X (v 10.10.3, command line tools v 6.3). Compiles cleanly, works perfectly.

@Anton-2 - Thanks, good to hear. I won't get a chance to try it until this evening - using 10.7.5, although it probably won't make a difference with compiling.

Working for me, compiles, tests pass, looks good.

Seems ok for msvc after implementing it's own mp_hal due to lack of termios and VT100 commands. See https://github.com/stinos/micropython/commits/unix-mp-readline-v2

Simplified and improved the handling of ctrl-C and setting of raw terminal mode, and merged in 9ae3fc6.

Raw mode is now only active when doing the readline call (as per GNU readline). This makes it more compatible with original behaviour (which is CPython behaviour) and decouples raw terminal mode from ctrl-C handling.

@stinos would you be able to update your patches for msvc?

Yes no problem; also wanted to address to minor annoyances but need some info:

• the escape sequence for the delete key I see here when using the unix port is ESC[3~ It is not handled by readline.c so I'm wondering what the reason is: do i have a different escape sequence than others, is it an oversight or is it something else?
• it seems feasible to print a newline after using Ctrl-D as most other programs do this as well and it leaves you with a proper prompt instead of >>> <prompt here> Ok?

the delete key I see here when using the unix port is ESC[3~

Ack, that's also what I have (xterm).

do i have a different escape sequence than others, is it an oversight or is it something else?

Reason: my keyboard doesn't have a "delete" key (only backspace) so I never use it, hence why I never implemented it :)

it seems feasible to print a newline after using Ctrl-D

Agree.