Properly open notebooks on Binder

See mwouts/jupytext#803.
astrojuanlu · Nov 30, 2021 · 2ae9bf3 · 2ae9bf3
1 parent 4962a4c
commit 2ae9bf3
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git a/binder/labconfig/default_setting_overrides.json b/binder/labconfig/default_setting_overrides.json
@@ -0,0 +1,9 @@
+{
+  "@jupyterlab/docmanager-extension:plugin": {
+    "defaultViewers": {
+      "markdown": "Jupytext Notebook",
+      "jupytext-md": "Jupytext Notebook"
+    }
+  }
+}
+
diff --git a/binder/postBuild b/binder/postBuild
@@ -0,0 +1,6 @@
+# Stop everything if one command fails
+set -e
+
+# See https://github.com/mwouts/jupytext/issues/803#issuecomment-982170660
+mkdir -p ${HOME}/.jupyter/labconfig
+cp binder/labconfig/* ${HOME}/.jupyter/labconfig
diff --git a/binder/requirements.txt b/binder/requirements.txt
@@ -1,3 +1,4 @@
 # For application deployments, like Binder
 git+https://github.com/poliastro/poliastro.git#egg=poliastro
-jupytext
+
+jupytext>=1.13.2  # https://github.com/mwouts/jupytext/issues/271