Apply JupyterLab overrides on binder.

danielballan · danielballan · commit 71cb01160124 · 2025-05-13T11:13:37.000-07:00
diff --git a/.binder/postBuild b/.binder/postBuild
@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+set -eux
+
+mkdir -p ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings
+cp jupyterlab_config.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings/overrides.json
