Skip to content

Terminal refac #13

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

Merged
merged 29 commits into from
Nov 26, 2024
Merged

Terminal refac #13

merged 29 commits into from
Nov 26, 2024

Conversation

matheper
Copy link
Collaborator

@matheper matheper commented Nov 19, 2024

This WIP PR contains:

  • Decouple the terminal operations from environments and tools.
  • New Terminal class handles terminal operations, including running commands and managing pseudo terminals (interactive sessions).
  • New DockerTerminal to handle operations within Docker containers. Terminal and DockerTerminal should work interchangeably.
  • Refactoring of pdb.py to use Terminal class
  • Adding tests for Terminal, DockerTerminal, and PDBTool classes

TODO:

  • Run docker with non-root user
  • Provide the option to initialize the terminal using docker or the regular terminal (done through config)
  • Clean up docker containers (implemented using atexit, will revisit that in the future)
  • Update remaining tools and envs that use a terminal (I'll do that in a separate pr)

@matheper matheper changed the title WIP - Terminal refac Terminal refac Nov 26, 2024
@matheper matheper marked this pull request as ready for review November 26, 2024 01:00
@matheper
Copy link
Collaborator Author

I suggest we review the PR as is. I'll update the remaining tools and envs in a separate one.

matheper and others added 2 commits November 26, 2024 11:44
Co-authored-by: Marc-Alexandre Côté <marc.cote.19@gmail.com>
Co-authored-by: Marc-Alexandre Côté <marc.cote.19@gmail.com>
@MarcCote MarcCote merged commit 8a50d1d into main Nov 26, 2024
2 checks passed
@MarcCote MarcCote deleted the terminal-refac branch November 26, 2024 16:49
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.

2 participants