The Google drive integration is all but dead, as our friends in mountain view decided to sunset the backend. It could potentially be rewritten to use firebase. However, in building (and still maintaining) that library, we now have a pretty good abstraction, IDrive, which is used by the GitHub integration as well as an irods integration. I've also been toying with ipfs/dat implementations which would make p2p sharing possible.
As to war stories: I did a prototype in derbyjs (no idea if that's still a thing). It put the whole state of the frontend into a model, which many users could update.
https://github.com/nrbgt/derby-notebook
It worked, but will definitely benefit from a stronger, official model.
Stay tuned, and chime in with any findings!
The docs:
Gory details:
The Google drive collaborative implementation:
https://github.com/jupyterlab/jupyterlab-google-drive/blob/master/src/drive/drive.ts
A sharedb implementation:
https://github.com/ian-r-rose/jupyterlab-sharedb
An api-based one (GitHub), which can optionally use a notebook server extension (python side):
https://github.com/jupyterlab/jupyterlab-github/blob/master/src/contents.ts
Here's the irods one, which also implements (requires?) a server extension api:
https://github.com/towicode/jupyterlab_irods/blob/master/src/contents.ts
And for good measure, a git lab implementation:
https://gitlab.com/ENKI-portal/jupyterlab_gitlab/blob/master/src/contents.ts
These are at various levels of lab version support, upstream API version support, etc... Not sure what would happen if they were all installed at the same time!
--
You received this message because you are subscribed to the Google Groups "Project Jupyter" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jupyter+unsubscribe@googlegroups.com.
To post to this group, send email to jup...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/7def2aff-4944-4ac5-b1fb-b29dfbd304fa%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.