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

Investigate the state of REPL support in the extension #21590

Closed
anthonykim1 opened this issue Jul 8, 2023 · 2 comments
Closed

Investigate the state of REPL support in the extension #21590

anthonykim1 opened this issue Jul 8, 2023 · 2 comments
Assignees
Milestone

Comments

@anthonykim1
Copy link

Investigate the state of REPL support in the extension

@anthonykim1 anthonykim1 added feature-request Request for new features or functionality needs spike Label for issues that need investigation before they can be worked on. labels Jul 8, 2023
@anthonykim1 anthonykim1 added this to the July 2023 milestone Jul 8, 2023
@anthonykim1 anthonykim1 self-assigned this Jul 8, 2023
@anthonykim1 anthonykim1 self-assigned this Jul 8, 2023
@anthonykim1 anthonykim1 added the needs proposal Need to make some design decisions label Jul 10, 2023
@Tyriar
Copy link
Member

Tyriar commented Jul 10, 2023

Relevant to this, I put together a prototype for shell integration in Python some time ago which would light up command navigation and run recent command, among other things https://code.visualstudio.com/docs/terminal/shell-integration

@amunger
Copy link

amunger commented Jul 10, 2023

I'd be interested in where this investigation goes since the Interactive Window from Jupyter acts a lot like a REPL, but there are definitely users that don't appreciate the notebook-like layout.

@anthonykim1 anthonykim1 modified the milestones: July 2023, August 2023 Jul 24, 2023
@anthonykim1 anthonykim1 mentioned this issue Jul 28, 2023
24 tasks
@github-actions github-actions bot removed needs spike Label for issues that need investigation before they can be worked on. needs proposal Need to make some design decisions labels Aug 22, 2023
@anthonykim1 anthonykim1 removed the feature-request Request for new features or functionality label Aug 29, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Sep 29, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants