Извините - мне действительно нужно экспериментировать больше и Google меньше.
Ответ (по крайней мере, в Ubuntu) - Ctrl + C.
Ctrl + C первым завершает любое продолжение.Затем, если вы нажмете на него еще раз, выведите
(^C again to quit)
Затем выйдет, как говорится.
Чтобы сделать этот вопрос более полезным, просто протестируйте его, и то же самое работает в репорте PythonГиль.Но не работает в Rhino, где он полностью закрывает реплей.