Skip to content

Commit

Permalink
Updated lab extensions
Browse files Browse the repository at this point in the history
  • Loading branch information
andreas-zeller committed Jun 30, 2024
1 parent 01f3e30 commit 8bdf56c
Showing 1 changed file with 16 additions and 17 deletions.
33 changes: 16 additions & 17 deletions binder/postBuild
Original file line number Diff line number Diff line change
@@ -1,37 +1,36 @@
#!/bin/bash

# Enable incompatible extensions
echo postBuild: Enabling incompatible Jupyter extensions...
NBCONFIG_PATH=$HOME/.jupyter/nbconfig
mkdir -p $NBCONFIG_PATH
echo '{
"nbext_hide_incompat": false
}' > $NBCONFIG_PATH/common.json
# echo postBuild: Enabling incompatible Jupyter extensions...
# NBCONFIG_PATH=$HOME/.jupyter/nbconfig
# mkdir -p $NBCONFIG_PATH
# echo '{
# "nbext_hide_incompat": false
# }' > $NBCONFIG_PATH/common.json

# Install and enable Jupyter nbextensions
# https://github.com/binder-examples/jupyter-extension
# https://jupyter-contrib-nbextensions.readthedocs.io/en/latest/install.html
echo postBuild: Installing Jupyter extensions...
jupyter contrib nbextension install --user
jupyter nbextension enable toc2/main --user
jupyter nbextension enable exercise2/main --user
jupyter nbextensions_configurator enable --user
jupyter nbextension list
# echo postBuild: Installing Jupyter extensions...
# jupyter contrib nbextension install --user
# jupyter nbextension enable toc2/main --user
# jupyter nbextension enable exercise2/main --user
# jupyter nbextensions_configurator enable --user
# jupyter nbextension list

# Install and enable Jupyter lab extensions
echo postBuild: Installing Jupyter Lab extensions...
pip install jupyterlab-markup # Mermaid in Jupyter Lab
jupyter labextension enable @agoose77/jupyterlab-markup
jupyter labextension install jupyterlab-cell-flash
jupyter labextension list
pip install jupyterlab-cell-flash
jupyter lab build

# Install grcov
echo postBuild: Installing grcov...
cargo install grcov

# Install mermaid
# # Install mermaid
echo postBuild: Installing mermaid...
npm i -g mermaid
npm i mermaid

# run matplotlib once to generate the font cache
echo postBuild: Generating matplotlib font cache...
Expand Down

0 comments on commit 8bdf56c

Please sign in to comment.