[docs] [issue9362] Make exit/quit hint more novice friendly

[Alexander Belopolsky]

Alexander Belopolsky <belopolsky at users.sourceforge.net> added the comment:

On Mon, Jul 26, 2010 at 9:48 AM, anatoly techtonik
<report at bugs.python.org> wrote:
..
> Type exit() or press Ctrl-D to exit.

Anatoly,

I think you missed the point of the story that I posted.  The young
user, who was not completely new to computers, by the way, was not
familiar with "Ctrl"  abbreviation and there was no key marked that
way on his keyboard.

----------

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