Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

enable interrupt for currently executing code in REPL #23337

Closed
Tracked by #23332
amunger opened this issue May 5, 2024 · 3 comments
Closed
Tracked by #23332

enable interrupt for currently executing code in REPL #23337

amunger opened this issue May 5, 2024 · 3 comments
Assignees
Labels
feature-request Request for new features or functionality triage-needed Needs assignment to the proper sub-team

Comments

@amunger
Copy link

amunger commented May 5, 2024

execute the code in the python REPL

import time
for i in range(100):
    print(i)
    time.sleep(1)

I should be able to stop this code from completing with an interrupt button.

@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label May 5, 2024
@amunger amunger changed the title enable interrupt for currently executing code in REPL - @anthonykim1 enable interrupt for currently executing code in REPL May 5, 2024
@amunger amunger added feature-request Request for new features or functionality and removed triage-needed Needs assignment to the proper sub-team labels May 5, 2024
@anthonykim1
Copy link

Implemented in: 9f5deae

@anthonykim1
Copy link

Adding note here since I still need to handle case for windows: https://stackoverflow.com/a/64357453 seems like it would be a solution to it, or refer to Jupyter if doesnt work.

@anthonykim1 anthonykim1 reopened this May 16, 2024
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label May 16, 2024
@anthonykim1
Copy link

Closing this as I opened new issue for Windows specific and interrupt for mac and linux has been merged

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 29, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
feature-request Request for new features or functionality triage-needed Needs assignment to the proper sub-team
Projects
None yet
Development

No branches or pull requests

2 participants