From 48c5fda6f395298873d2c74361ba42af6b9b3f73 Mon Sep 17 00:00:00 2001 From: Matthew Connelly Date: Wed, 17 Aug 2022 16:44:14 +0100 Subject: [PATCH] entrypoint: Build before starting Because /v/share/jupyter/lab is now a volume, there is the potential that it will be empty or out-of-date. We should always kick off a build before starting jupyter-lab. --- entrypoint.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/entrypoint.sh b/entrypoint.sh index 3943177..cd780e6 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -13,4 +13,6 @@ cd $DATADIR [ ! -f $JUPYCNF ] && cp $JUPYDEF $JUPYCNF [ -f $JUREQFL ] && pip install -Ur $JUREQFL +jupyter lab build + ( $@ )