Merge pull request #25 from ryanlovett/vsx

Install VS Code extensions.

postBuild

@@ -7,3 +7,22 @@ playwright install chromium
 
 # https://github.com/berkeley-dsep-infra/datahub/issues/5827
 git config --system pull.rebase false
+
+## Install VS Code extensions.
+
+# code-server's conda package assets are installed in share/code-server.
+export VSCODE_EXTENSIONS=${CONDA_DIR}/envs/notebook/share/code-server/extensions
+mkdir -p ${VSCODE_EXTENSIONS}
+
+# This is not reproducible, and it can be difficult to version these.
+for x in \
+  ms-toolsai.jupyter \
+  ms-python.python \
+  quarto.quarto \
+  continue.continue \
+  ms-vscode.live-server \
+  posit.shiny \
+  reditorsupport.r \
+  ; do
+    code-server --extensions-dir ${VSCODE_EXTENSIONS} --install-extension $x
+done