Add code-server (jupyter-vscode-proxy) to JupyterHub?

[cboettig]

Summary

VSCode (code-server) interface is a popular and feature-rich IDE that already integrates nicely with Jupyterlab via jupyter-vscode-proxy

User Stories

• Lots of users know or use VSCode.
• Code server handles additional proxy ports nicely. e.g. streamlit run app.py we get a pop-up linking us to our new port, and a handy 'ports' tab to manage ports.
• Code server packages integration with GitHub device authentication automatically.
• Code server has a rich library of extensions and cross-language support.

Acceptance criteria

When VSCode shows up in the launcher!

Important information

Tasks to complete

• install the python package jupyter-vscode-proxy

[balajialg]

@cboettig I am assuming this request is for https://datahub.berkeley.edu/? Is there a specific deadline for completing this request?

FYI, you can launch VSCode in EECS Hub

[cboettig]

@balajialg sorry yes! for https://datahub.berkeley.edu/. This would be for Fall (2024) semester!

[cboettig]

Works beautifully, thanks!

side note related to #5513 -- from code-server, if we do git clone on a github repo, code-server automatically launches GitHub plugin and does device authentication similar to gh-scoped-creds. It has different defaults, notably, it requests scopes that give it access to all a users organizations, probably not ideal, and I have no idea how long the temporary credential persists for. On the plus side, the UI/UX experience is quite solid, prompts you with pop-up, auto-copies the device login code. if you refuse auth this way, it falls back on the usual interface prompting for user name and password. reasonably smooth!