Browse Source

make sure server extension is auto-installed

Steven Silvester 4 years ago
parent
commit
ed2eb47f09
1 changed files with 3 additions and 1 deletions
  1. 3 1
      scripts/ci_install.sh

+ 3 - 1
scripts/ci_install.sh

@@ -23,7 +23,9 @@ pip install jupyter_packaging
 pip install -e ".[test]" || pip install -v -e ".[test]"
 jlpm versions
 jlpm config current
-jupyter server extension enable --py jupyterlab
+jupyter server extension list 1>serverextensions 2>&1
+cat serverextensions | grep -i "jupyterlab.*enabled"
+cat serverextensions | grep -i "jupyterlab.*OK"
 
 if [[ $GROUP == integrity ]]; then
     pip install notebook==4.3.1