jupyter_server_ydoc_extension_app_initialization_quickstart.py

1import os
2from jupyter_server.extension.application import ExtensionApp
3from jupyter_server_ydoc.extension import YDocExtension
4
5class YDocApp(ExtensionApp):
6    # The name of the extension
7    name = "jupyter_server_ydoc"
8    
9    # The extension class to load
10    extension_class = YDocExtension
11
12if __name__ == "__main__":
13    # This mimics the CLI launch of the extension
14    # In a standard production environment, you would run:
15    # jupyter server --py jupyter_server_ydoc
16    YDocApp.launch_instance()