-
Notifications
You must be signed in to change notification settings - Fork 0
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
Adopt JupyterServerProvider API to simplify connection workflow #6
Comments
Thanks @gjsjohnmurray Your extension could utilize the API and contribute a server named
Basically all of this would be unnecessary:
|
@gjsjohnmurray wanted to reach out to you about a proposed API that will make it unnecessary to create a fake jupyter server. Let me know if this is something you'd like to implement and I can led a hand. |
microsoft/vscode-jupyter#13894
The text was updated successfully, but these errors were encountered: