Skip to content

Instantly share code, notes, and snippets.

@krassowski
Last active November 17, 2023 10:56
Show Gist options
  • Save krassowski/bde1c440f58d0765ce6ac44e55e85868 to your computer and use it in GitHub Desktop.
Save krassowski/bde1c440f58d0765ce6ac44e55e85868 to your computer and use it in GitHub Desktop.
Linking PRs demo aria-live
name: jupyterlab-dev
channels:
- conda-forge
- nodefaults
dependencies:
# runtimes
- nodejs >=18,<19
- python =3.11
# package managers
- pip
- yarn >=3,<4
# build
- hatch-jupyter-builder >=0.3.2
- hatchling >=1.5.0
# run
- async-lru >=1.0.0
- ipykernel
- jinja2 >=3.0.3
- jupyter_core
- jupyter_server >=2.4.0,<3
- jupyter-lsp >=2.0.0
- jupyterlab_server >=2.19.0,<3
- packaging
- tornado >=6.2.0
- traitlets >=5.10.1
# dev
- hatch
- python-build
#!/bin/bash
# ensure no surprises from binder's "half" activation
source activate ${NB_PYTHON_PREFIX}
# use strict and verbose shell settings
set -euxo pipefail
git clone -b command-dialog --depth 1 --single-branch https://github.com/m158261/lumino.git
cd lumino
time jlpm
time jlpm build
cd ..
git clone -b command-dialog --depth 1 --single-branch https://github.com/m158261/jupyterlab.git
cd jupyterlab
time jlpm link ../lumino --all
time jlpm build:dev
time pip install -v -e . --no-build-isolation
# clean up to reduce the images
rm -rf ~/.cache dev_mode/stats.json node_modules/@stdlib
cd ..
#!/bin/bash
echo $@
exec jupyter-lab --dev-mode "${@:4}"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment