[issue9362] Make exit/quit hint more novice friendly

[anatoly techtonik]

anatoly techtonik <techtonik at gmail.com> added the comment:

On Fri, Jul 23, 2010 at 10:24 PM, Alexander Belopolsky
<report at bugs.python.org> wrote:
> I suggest changing
>
> Use exit() or Ctrl-D (i.e. EOF) to exit
>
>  to
>
> Type exit() or quit() and press the Enter key to exit

Type exit() or press Ctrl-D to exit.

----------
nosy: +techtonik

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue9362>
_______________________________________