Merge branch 'gibiansky:master' into master

This commit is contained in:
David Davó 2021-08-15 11:57:52 +02:00 committed by GitHub
commit ba7440ffb7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -204,11 +204,11 @@ stack --docker exec ihaskell -- install --stack
Optionally, install JupyterLab and the IHaskell JupyterLab extension for
syntax highlighting. See the
[`ihaskell_labextension/README.md`](ihaskell_labextension/README.md).
[`jupyterlab-ihaskell/README.md`](jupyterlab-ihaskell/README.md).
```bash
stack --docker exec pip3 -- install jupyterlab
stack --docker exec bash -- -c 'cd ihaskell_labextension;npm install;npm run build;jupyter labextension link .'
stack --docker exec bash -- -c 'cd jupyterlab-ihaskell;npm install;npm run build;jupyter labextension link .'
```
Run the Jupyter notebook, with security disabled for testing, listening on all interfaces.