Development#

  1. Get Task - A Go task runner

sudo sh -c "$(curl --location https://taskfile.dev/install.sh)" -- -d -b /usr/local/bin

  1. Build docker image for dev

task dev:build

  1. Obtain a shell

task dev:shell
# NOTE: If you have a running container already, use the following instead
task dev:shell-reuse

  1. Live compilation of Lab Extension

Assume you have a shell in dev container, do

jlpm run build
jlpm run watch

  1. Start JupyterLab

Do this in another terminal.

Assume you have a shell in dev container, do

# NOTE: This might take a little while...
./dev/start-jupyterlab.sh --watch

./dev/start-jupyterlab.sh