Skip to content

Remote Project REPL support #15196

@leviska

Description

@leviska

Summary

Run jupyter repl on remote machines

Description

From what I could understand from code:

  • Currently repl_store is global, and not updated when changing projects (i.e. connecting to remote project)
  • JupyterSettings are global too, and project settings are ignored (there is a big chance that remote machine needs different kernel configs)

It seems that current code could work on remote, if it weren't global, and it would update to changing workspaces and connecting to remote.

Metadata

Metadata

Assignees

No one assigned

    Labels

    area:replrepl, jupyter, notebooks, etcplatform:remoteRemote development, SSH and zed-remote-server

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions