Check binder installation (#841)

jupyterlab · Dec 9, 2020 · e3cae9e · e3cae9e
1 parent a72b985
commit e3cae9e
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/binder/postBuild b/binder/postBuild
@@ -1,4 +1,11 @@
 #!/usr/bin/env bash
+set -e
+
 pip install .
 jupyter serverextension enable --sys-prefix --py nbgitpuller
 jupyter lab build --dev-build=False --minimize=False --debug
+
+jupyter serverextension list 1>serverextensions 2>&1
+cat serverextensions | grep "jupyterlab_git.*OK"
+jupyter labextension list 1>labextensions 2>&1
+cat labextensions | grep "@jupyterlab/git.*OK"