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

fix ctrl-c handling #6608

Closed
wants to merge 4 commits into from
Closed

fix ctrl-c handling #6608

wants to merge 4 commits into from

Conversation

neubig
Copy link
Contributor

@neubig neubig commented Feb 4, 2025

End-user friendly description of the problem this fixes or functionality that this introduces

  • Include this change in the Release Notes. If checked, you must provide an end-user friendly description for your change below

Fix ctrl-c handling in the bash terminal. This is WIP.


Give a summary of what the PR does, explaining any non-trivial design decisions


Link of any specific issues this addresses

Fixes #6607


To run this PR locally, use the following command:

docker run -it --rm   -p 3000:3000   -v /var/run/docker.sock:/var/run/docker.sock   --add-host host.docker.internal:host-gateway   -e SANDBOX_RUNTIME_CONTAINER_IMAGE=docker.all-hands.dev/all-hands-ai/runtime:0489d3f-nikolaik   --name openhands-app-0489d3f   docker.all-hands.dev/all-hands-ai/openhands:0489d3f

@neubig neubig force-pushed the fix-ctrl-c-handling branch 2 times, most recently from 9a1cb7e to f717b1c Compare February 4, 2025 20:56
@neubig neubig self-assigned this Feb 10, 2025
@neubig neubig closed this Feb 10, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Bug]: ctrl-c results in strange terminal outputs
2 participants