Introduce Jupyter Lab extensions (#718)

* Add folder for Jupyter Lab extensions

* Add initial settings menu extension code

* Add initial terminal launcher extension code

* Add lab extension build files to ignore

* Update settings form sections to be populated from a loop

* Update terminal launcher

* Add script load env from settings

* Update settings schema

* Update settings forms to handle nested schema

* Satisfy eslint

* Lint python code black

* Remove unused python API

* Satisfy eslint

* Update extension icons

* Update terminal launcher menu commands

* Update settings infrastructure for both extensions

* Update docstrings

* Lint python code black

* Lint more python code black

* Add structure for website

* Update labels.yml

* Update the settings form population with user settings

* Add node_modules of the test folder to gitignore

* Add UI tests for the settings extension

* WIP: Update terminal launcher extension code and wip settings

* Add development setup documentation

* Pass settings to environment variables in the launcher

* Update settings extension schema to include custom python path

* Satisfy eslint and flake8

* Add setup.py to mypy exclude paths
The setup.py that goes with the jupyterlab extensions fails the mypy
check and excluding them is the only workaround atm

* Check mypy hook

* Fix linting error raised by pyupgrade

* Change setting name to be different from a system variable

* Update launcher to set env variables with bash stdin

* Clean up unused scripts

* Make jupyterlab mandatory in poetry

* Add Jupyter Lab extension installation docs

Co-authored-by: Chavithra PARANA <chavithra@gmail.com>
Co-authored-by: didier <dro.lopes@campus.fct.unl.pt>
This commit is contained in:
Theodore Aptekarev
2021-09-10 07:34:04 +03:00
committed by GitHub
parent 42f5b72ddf
commit 4b8a82f3ae
55 changed files with 42342 additions and 3 deletions

View File

@@ -26,7 +26,7 @@ repos:
rev: 'v0.812'
hooks:
- id: mypy
args: [ --ignore-missing-imports ]
args: [ --ignore-missing-imports --exclude '/setup\.py$' ]
- repo: https://github.com/pre-commit/mirrors-pylint
rev: 'v3.0.0a4'
hooks: