Tentative addition of Visual Studio: proxy, enabling the extensions

Dockerfile

@@ -38,5 +38,11 @@ RUN for REPO in                                                \
         break 0;                                               \
     done
 
+# Enable the Visual Studio proxy extension in notebook and lab
+# Taken from https://github.com/betatim/vscode-binder/blob/master/postBuild
+RUN jupyter serverextension enable --py jupyter_server_proxy
+RUN jupyter labextension install @jupyterlab/server-proxy
+RUN code-server --install-extension ms-python.python
+
 # Install unpackaged jupyterlab extensions and force jupyterlab rebuild
 RUN jupyter labextension install @wallneradam/run_all_buttons

environment.yml

@@ -11,11 +11,14 @@ dependencies:
 - jupyter_contrib_nbextensions
 - jupyter-offlinenotebook      # UI to save/... the notebook even when the server connection is lost
 - ipywidgets
-- code-server                  # Visual Studio
 - rise
 - nbdime
 - pip
 
+# Visual Studio (conda packages)
+- code-server
+- jupyter-server-proxy
+
 # Some additional packages that don't have a specific repo yet
 
 # Visualisation
@@ -36,7 +39,9 @@ dependencies:
 # in the course "Traitement de données hydrologiques" of M2 HSS
 - r-factominer
 
-# For Erwan Pannier <erwan.pannier@centralesupelec.fr>
-# A fast line-by-line code for high-resolution infrared molecular spectra
 - pip:
+    # For Erwan Pannier <erwan.pannier@centralesupelec.fr>
+    # A fast line-by-line code for high-resolution infrared molecular spectra
     - radis
+    # Visual Studio (proxy)
+    - git+https://github.com/betatim/vscode-binder.git