Investigate the state of REPL support in the extension #21590

Activity

1. Anthony Kim (anthonykim1)

   added

   feature-requestRequest for new features or functionalityRequest for new features or functionality

   needs spikeLabel for issues that need investigation before they can be worked on.Label for issues that need investigation before they can be worked on.

   on Jul 8, 2023
2. Anthony Kim (anthonykim1)

   added this to the July 2023 milestone on Jul 8, 2023
3. Anthony Kim (anthonykim1)

   self-assigned this

   on Jul 8, 2023
4. github-actions

   unassigned

   Anthony Kim (anthonykim1)

   on Jul 8, 2023
5. Anthony Kim (anthonykim1)

   self-assigned this

   on Jul 8, 2023
6. Anthony Kim (anthonykim1)

   added

   needs proposalNeed to make some design decisionsNeed to make some design decisions

   on Jul 10, 2023
7. Tyriar commented on Jul 10, 2023

   

   Daniel Imms (Tyriar)

   on Jul 10, 2023

   More actions

   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

   👍React with 👍1Reacted by Anthony Kim
8. amunger commented on Jul 10, 2023

   

   Aaron Munger (amunger)

   on Jul 10, 2023

   More actions

   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.

   👍React with 👍2Reacted by Daniel Imms and Anthony Kim
9. Anthony Kim (anthonykim1)

   modified the milestones: July 2023, August 2023 on Jul 24, 2023
10. Anthony Kim (anthonykim1)

    closed this as completedon Aug 22, 2023
11. github-actions

    removed

    needs spikeLabel for issues that need investigation before they can be worked on.Label for issues that need investigation before they can be worked on.

    needs proposalNeed to make some design decisionsNeed to make some design decisions

    on Aug 22, 2023
12. Anthony Kim (anthonykim1)

    removed

    feature-requestRequest for new features or functionalityRequest for new features or functionality

    on Aug 29, 2023
13. github-actions

    locked as resolved and limited conversation to collaborators on Sep 29, 2023