-
-
Notifications
You must be signed in to change notification settings - Fork 228
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
Update to JLab 3 #217
Update to JLab 3 #217
Changes from all commits
31e09f7
4513364
0b8ee75
3b040dc
8f22c0a
e0b4ec9
cf89ea6
feb9c4f
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1 @@ | ||
{"data":{"layout-restorer:data":{"main":{"dock":{"type":"split-area","orientation":"horizontal","sizes":[0.5,0.5],"children":[{"type":"tab-area","currentIndex":0,"widgets":["markdownviewer-widget:Welcome.md"]},{"type":"split-area","orientation":"vertical","sizes":[0.5,0.5],"children":[{"type":"tab-area","currentIndex":0,"widgets":["dask-dashboard-launcher:/individual-task-stream"]},{"type":"tab-area","currentIndex":0,"widgets":["dask-dashboard-launcher:/individual-progress"]}]}]},"current":"markdownviewer-widget:Welcome.md"},"down":{"size":0,"widgets":[]},"left":{"collapsed":false,"current":"filebrowser","widgets":["filebrowser","jp-property-inspector","running-sessions","dask-dashboard-launcher","@jupyterlab/toc:plugin","extensionmanager.main-view"]},"right":{"collapsed":true,"widgets":["debugger-sidebar"]},"relativeSizes":[0.16362230919765167,0.8363776908023483,0]},"file-browser-filebrowser:cwd":{"path":""},"workspace-ui:lastSave":"/default.jupyterlab-workspace","markdownviewer-widget:Welcome.md":{"data":{"path":"Welcome.md","factory":"Markdown Preview"}},"dask-dashboard-launcher:/individual-task-stream":{"data":{"route":"/individual-task-stream","label":"Task Stream","key":"Task Stream"}},"dask-dashboard-launcher:/individual-progress":{"data":{"route":"/individual-progress","label":"Progress","key":"Progress"}},"dask-dashboard-launcher":{"url":"DASK_DASHBOARD_URL","cluster":""}},"metadata":{"id":"default","last_modified":"2021-12-20T20:41:35.169956+00:00","created":"2021-12-20T20:41:35.169956+00:00"}} |
This file was deleted.
This file was deleted.
Original file line number | Diff line number | Diff line change | ||||
---|---|---|---|---|---|---|
@@ -1,9 +1,13 @@ | ||||||
#!/bin/bash | ||||||
|
||||||
# Replace DASK_DASHBOARD_URL with the proxy location | ||||||
sed -i -e "s|DASK_DASHBOARD_URL|${JUPYTERHUB_BASE_URL}user/${JUPYTERHUB_USER}/proxy/8787|g" binder/jupyterlab-workspace.json | ||||||
sed -i -e "s|DASK_DASHBOARD_URL|${JUPYTERHUB_BASE_URL}user/${JUPYTERHUB_USER}/proxy/8787|g" binder/example.jupyterlab-workspace | ||||||
|
||||||
# TODO: Importing of workspace via CLI is currently broken. | ||||||
# remove this workaround once https://github.com/jupyterlab/jupyterlab/issues/10805 is resolved | ||||||
mkdir -p ~/.jupyter/lab/workspaces/ | ||||||
mv binder/example.jupyterlab-workspace ~/.jupyter/lab/workspaces/default-37a8.jupyterlab-workspace | ||||||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. The
Suggested change
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This is 100% a hack -- that's a hash based on the workspace name which is not guaranteed to be stable. But I think it might be okay for the time-being, and is better than the currently broken state. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Gotcha -- totally fine with me if it works |
||||||
# Import the workspace | ||||||
jupyter lab workspaces import binder/jupyterlab-workspace.json | ||||||
# jupyter lab workspaces import binder/example.jupyterlab-workspace | ||||||
|
||||||
exec "$@" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This introduces some conflicts with #218, so this should be merged first then I can fix that one.