running jupyter notebooks in vscode about vscode-binder HOT 5 CLOSED

As described in the discourse thread Official VSCode Instructions, Uni of Colorado have Jupyter container builds here that embeds VS Code and uses the dirkcgrunwald/jupyter_codeserver_proxy-.

I'm not sure how that set-up differs to the one described here?

from vscode-binder.

False alarm - they've since fixed the python extension in the code-server marketplace and everything works as expected 🎉

from vscode-binder.

I've never tried. Not even with a local VS code really. The one time I tried it imported the notebook and created a .py file from it which confused me. Does VS code start its own notebook server?

Would be good to have an example for how to do this.

from vscode-binder.

Yeah it seems to. It complains about not being able to connect to port 8888 so it's probably just a matter of figuring out where to modify the flags. Ideally it could just connect to the already running jupyter server I suppose.

from vscode-binder.

This doesn't seem to be a problem anymore - not sure what has changed since the last time I tried but it works fine now.

Note that for the moment the python extension with code-server is broken and it's necessary to install the previous version of the python extension and disable automatic updates, so with something like

code-server --install-extension [email protected]
mkdir ~/.vscode && \
echo '{"extensions.autoCheckUpdates": false,"extensions.autoUpdate": false}' > ${HOME}/.vscode/argv.json

see coder/code-server#2298 and coder/code-server#2293

from vscode-binder.