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

Support Workspaces #139

Open
bollwyvl opened this issue Jun 9, 2021 · 1 comment · May be fixed by #805
Open

Support Workspaces #139

bollwyvl opened this issue Jun 9, 2021 · 1 comment · May be fixed by #805
Labels
enhancement New feature or request

Comments

@bollwyvl
Copy link
Collaborator

bollwyvl commented Jun 9, 2021

Problem

When I start JupyterLite, it shows the default UI with the Launcher and File tree, which is good! When I get a few documents and/or linked outputs open, and restart JupyterLite, I lose the state of what I was working on.

Proposed Solution

Support an implementation of api/workspaces/, as described in the jupyterlab_server API spec.

The first time out, starting from the default, the workspace can be saved either to the same localForage (as they reference contents paths), or to a separate one altogether, and introduce (further) router hacks for ?workspace=<name-of-workspace> (and ?reset, probably).

When reloading, this would be consulted. This is might be sufficient for an MVP, but would probably still be broken.

Supporting the import/export of *.jupyterlab-workspaces files (and being able to pre-populate/pre-index this folder) would make it much easier to drive/link to a very specific lab configuration e.g.

  • for a docs site:
    • https://my-docs.rtfd.io/lite/?workspace=docs
      • https://my-docs.rtfd.io/lite/?workspace=dashboard
  • for a particular snippet in a blog post
    • https://my-blog.engineering/lite/?workspace=example-1-layout

Additional context

@jtpio
Copy link
Member

jtpio commented Jun 9, 2021

might need #104, but this should probably be first-party

+1 on being first-party. Other apps like retro would just ignore the endpoint anyway.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants