- #!/bin/bash
- set -e
- if ! command -v jlpm &> /dev/null
- then
- pip install --no-build-isolation --no-deps -e $(dirname "$0")
- fi
- jlpm install --ignore-scripts
- jlpm build:dev:prod:release
- rm -rf jupyterlab/schemas jupyterlab/static jupyterlab/themes jupyterlab/style.js
- cp -r dev_mode/schemas dev_mode/static dev_mode/themes dev_mode/style.js jupyterlab
- python -m build -wxn
|