From 843d11418ff502a76c80623fddd2a827291cfd78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Brigitta=20Sip=C5=91cz?= Date: Thu, 19 Dec 2024 15:27:49 -0800 Subject: [PATCH] FIX: adding postbuild script to make binder work with the markdown notebooks --- overrides.json | 7 +++++++ postBuild | 5 +++++ 2 files changed, 12 insertions(+) create mode 100644 overrides.json create mode 100644 postBuild diff --git a/overrides.json b/overrides.json new file mode 100644 index 0000000..218f184 --- /dev/null +++ b/overrides.json @@ -0,0 +1,7 @@ +{ + "@jupyterlab/docmanager-extension:plugin": { + "defaultViewers": { + "markdown": "Jupytext Notebook" + } + } +} diff --git a/postBuild b/postBuild new file mode 100644 index 0000000..3a6057f --- /dev/null +++ b/postBuild @@ -0,0 +1,5 @@ +#!/usr/bin/env bash +set -eux + +mkdir -p ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings +cp .binder/overrides.json ${NB_PYTHON_PREFIX}/share/jupyter/lab/settings