jupyter_server_terminals_extension_registration_quickstart.py

1from jupyter_server.gateway.connections import GatewayWebSocketConnection
2from jupyter_server_terminals import TerminalExtensionApp
3
4class MyServerApp(TerminalExtensionApp):
5    def initialize_settings(self):
6        # This is where you would initialize any specific settings 
7        # for your terminal extension.
8        super().initialize_settings()
9
10if __name__ == "__main__":
11    # Launch the terminal extension as part of a Jupyter Server
12    MyServerApp.launch_instance()