Skip to content
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

Suggested enhancement for defining remote IRIS server URL for Jupyter server #12

Open
pisani opened this issue Nov 16, 2023 · 1 comment

Comments

@pisani
Copy link

pisani commented Nov 16, 2023

I thought, perhaps - when specifying the URL, http://localhost:50773/server:namespace?token=1 couldn't the user be walked through constructing the URL (choosing the server from the configured server manager list, and subsequent namespaces already defined)

prompt for JupyterProxy server (default localhost)
prompt for JupyterProxy server port (default 50773)
choose target server (list built from Intersystemsm Server manager)
choose namespace (list built based on IRIS instance chosen)
specify friendly name for this configuration,,

steve

@gjsjohnmurray
Copy link
Collaborator

Thanks for the feedback. Because of how this extension leverages VS Code's Jupyter support rather than implementing its own infrastructure I don't think it'll be possible to do exactly what you suggest. However #6 proposes we take advantage of a recently-finalized API in the Jupyter extension to streamline this part of the UX.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants