From 2bd99fe47108ae956d1e32e791ae37bf5f335b09 Mon Sep 17 00:00:00 2001 From: Naty Clementi Date: Mon, 4 Oct 2021 13:41:24 -0400 Subject: [PATCH] Add env small for binder --- binder/start | 1 + 1 file changed, 1 insertion(+) diff --git a/binder/start b/binder/start index ed8d530..352afe6 100644 --- a/binder/start +++ b/binder/start @@ -5,5 +5,6 @@ sed -i -e "s|DASK_DASHBOARD_URL|${JUPYTERHUB_BASE_URL}user/${JUPYTERHUB_USER}/pr # Import the workspace jupyter lab workspaces import binder/jupyterlab-workspace.json +export DASK_TUTORIAL_SMALL=1 exec "$@"