id,summary,reporter,owner,description,type,status,priority,milestone,version,resolution,keywords,cc
46,Don't echo the input when stdin is not a terminal.,judah,,"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`.",defect,closed,major,,,fixed,,