[issue9362] Make exit/quit hint more novice friendly

anatoly techtonik report at bugs.python.org
Mon Jul 26 15:48:52 CEST 2010

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>

More information about the Python-bugs-list mailing list