Ticket #46 (closed defect: fixed)

Opened 6 years ago

Last modified 6 years ago

Don't echo the input when stdin is not a terminal.

Reported by: judah Owned by:
Priority: major Milestone:
Version: Keywords:
Cc:

Description

Currently if stdin is not a terminal, getInputLine will print both prompt and the input line. It looks like the right thing to do is not to echo the input line (for example, it gives wrong results in emacs' M-x shell.

We definitely should still echo the prompt, though; a program can always manually disable this behavior by passing "" to getInputLine.

Change History

Changed 6 years ago by judah

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.