(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ python3 -m venv tlaplus
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ ls
tlaplus
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ source tlaplus/bin/activate
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ pip3 install tlaplus_jupyter
Collecting tlaplus_jupyter
Downloading https://files.pythonhosted.org/packages/85/8e/90046bddfb9076e4e96c2b40171b9680be96c7356a3ef1b394d454a7367b/tlaplus_jupyter-0.1.1-py3-none-any.whl
Collecting future>=0.16 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/45/0b/38b06fd9b92dc2b68d58b75f900e97884c45bedd2ff83203d933cf5851c9/future-0.18.2.tar.gz (829kB)
100% |████████████████████████████████| 829kB 1.6MB/s
Collecting ipykernel>=4.10 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/e1/92/8fec943b5b81078399f969f00557804d884c96fcd0bc296e81a2ed4fd270/ipykernel-5.1.3-py3-none-any.whl (116kB)
100% |████████████████████████████████| 122kB 7.1MB/s
Collecting psutil>=4 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/73/93/4f8213fbe66fc20cb904f35e6e04e20b47b85bee39845cc66a0bcf5ccdcb/psutil-5.6.7.tar.gz (448kB)
100% |████████████████████████████████| 450kB 3.2MB/s
Collecting notebook>=5 (from tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/f5/69/d2ffaf7efc20ce47469187e3a41e6e03e17b45de5a6559f4e7ab3eace5e1/notebook-6.0.2-py3-none-any.whl (9.7MB)
100% |████████████████████████████████| 9.7MB 164kB/s
Collecting traitlets>=4.1.0 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ca/ab/872a23e29cec3cf2594af7e857f18b687ad21039c1f9b922fac5b9b142d5/traitlets-4.3.3-py2.py3-none-any.whl (75kB)
100% |████████████████████████████████| 81kB 7.7MB/s
Collecting ipython>=5.0.0 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/00/17/c3e3dd337cc601b47c599441786fd4e888b587a2a512d38ac752274fd0bc/ipython-7.10.1-py3-none-any.whl (778kB)
100% |████████████████████████████████| 778kB 1.4MB/s
Collecting tornado>=4.2 (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/30/78/2d2823598496127b21423baffaa186b668f73cd91887fcef78b6eade136b/tornado-6.0.3.tar.gz (482kB)
100% |████████████████████████████████| 491kB 1.7MB/s
Collecting jupyter-client (from ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/13/81/fe0eee1bcf949851a120254b1f530ae1e01bdde2d3ab9710c6ff81525061/jupyter_client-5.3.4-py2.py3-none-any.whl (92kB)
100% |████████████████████████████████| 92kB 2.8MB/s
Collecting jupyter-core>=4.6.0 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/fb/82/86437f661875e30682e99d04c13ba6c216f86f5f6ca6ef212d3ee8b6ca11/jupyter_core-4.6.1-py2.py3-none-any.whl (82kB)
100% |████████████████████████████████| 92kB 3.7MB/s
Collecting ipython-genutils (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/fa/bc/9bd3b5c2b4774d5f33b2d544f1460be9df7df2fe42f352135381c347c69a/ipython_genutils-0.2.0-py2.py3-none-any.whl
Collecting jinja2 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/65/e0/eb35e762802015cab1ccee04e8a277b03f1d8e53da3ec3106882ec42558b/Jinja2-2.10.3-py2.py3-none-any.whl (125kB)
100% |████████████████████████████████| 133kB 6.9MB/s
Collecting terminado>=0.8.1 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ff/96/1d9a2c23990aea8f8e0b5c3b6627d03196a73771a17a2d9860bbe9823ab6/terminado-0.8.3-py2.py3-none-any.whl
Collecting nbconvert (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/79/6c/05a569e9f703d18aacb89b7ad6075b404e8a4afde2c26b73ca77bb644b14/nbconvert-5.6.1-py2.py3-none-any.whl (455kB)
100% |████████████████████████████████| 460kB 1.8MB/s
Collecting pyzmq>=17 (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/94/07/cee3d328a2e13f9de1c2b62cced7a389b61ac81424f2e377f3dc9d668282/pyzmq-18.1.1-cp36-cp36m-manylinux1_x86_64.whl (1.1MB)
100% |████████████████████████████████| 1.1MB 1.2MB/s
Collecting nbformat (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/da/27/9a654d2b6cc1eaa517d1c5a4405166c7f6d72f04f6e7eea41855fe808a46/nbformat-4.4.0-py2.py3-none-any.whl (155kB)
100% |████████████████████████████████| 163kB 6.0MB/s
Collecting prometheus-client (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/b3/23/41a5a24b502d35a4ad50a5bb7202a5e1d9a0364d0c12f56db3dbf7aca76d/prometheus_client-0.7.1.tar.gz
Collecting Send2Trash (from notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/49/46/c3dc27481d1cc57b9385aff41c474ceb7714f7935b1247194adae45db714/Send2Trash-1.5.0-py3-none-any.whl
Collecting six (from traitlets>=4.1.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/65/26/32b8464df2a97e6dd1b656ed26b2c194606c16fe163c695a992b36c11cdf/six-1.13.0-py2.py3-none-any.whl
Collecting decorator (from traitlets>=4.1.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/8f/b7/f329cfdc75f3d28d12c65980e4469e2fa373f1953f5df6e370e84ea2e875/decorator-4.4.1-py2.py3-none-any.whl
Requirement already satisfied: setuptools>=18.5 in ./tlaplus/lib/python3.6/site-packages (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Collecting pickleshare (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/9a/41/220f49aaea88bc6fa6cba8d05ecf24676326156c23b991e80b3f2fc24c77/pickleshare-0.7.5-py2.py3-none-any.whl
Collecting pygments (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/be/39/32da3184734730c0e4d3fa3b2b5872104668ad6dc1b5a73d8e477e5fe967/Pygments-2.5.2-py2.py3-none-any.whl (896kB)
100% |████████████████████████████████| 901kB 1.4MB/s
Collecting pexpect; sys_platform != "win32" (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/0e/3e/377007e3f36ec42f1b84ec322ee12141a9e10d808312e5738f52f80a232c/pexpect-4.7.0-py2.py3-none-any.whl (58kB)
100% |████████████████████████████████| 61kB 4.4MB/s
Collecting jedi>=0.10 (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/55/54/da994f359e4e7da4776a200e76dbc85ba5fc319eefc22e33d55296d95a1d/jedi-0.15.1-py2.py3-none-any.whl (1.0MB)
100% |████████████████████████████████| 1.0MB 1.7MB/s
Collecting backcall (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/84/71/c8ca4f5bb1e08401b916c68003acf0a0655df935d74d93bf3f3364b310e0/backcall-0.1.0.tar.gz
Collecting prompt-toolkit!=3.0.0,!=3.0.1,<3.1.0,>=2.0.0 (from ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/7f/1f/e145dd467dc9b0e6f1e64232c03119498dfec497e383f1e8be9f83eaa97e/prompt_toolkit-3.0.2-py3-none-any.whl (344kB)
100% |████████████████████████████████| 348kB 3.8MB/s
Collecting python-dateutil>=2.1 (from jupyter-client->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/d4/70/d60450c3dd48ef87586924207ae8907090de0b306af2bce5d134d78615cb/python_dateutil-2.8.1-py2.py3-none-any.whl (227kB)
100% |████████████████████████████████| 235kB 7.5MB/s
Collecting MarkupSafe>=0.23 (from jinja2->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/b2/5f/23e0023be6bb885d00ffbefad2942bc51a620328ee910f64abe5a8d18dd1/MarkupSafe-1.1.1-cp36-cp36m-manylinux1_x86_64.whl
Collecting ptyprocess; os_name != "nt" (from terminado>=0.8.1->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/d1/29/605c2cc68a9992d18dada28206eeada56ea4bd07a239669da41674648b6f/ptyprocess-0.6.0-py2.py3-none-any.whl
Collecting defusedxml (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/06/74/9b387472866358ebc08732de3da6dc48e44b0aacd2ddaa5cb85ab7e986a2/defusedxml-0.6.0-py2.py3-none-any.whl
Collecting entrypoints>=0.2.2 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ac/c6/44694103f8c221443ee6b0041f69e2740d89a25641e62fb4f2ee568f2f9c/entrypoints-0.3-py2.py3-none-any.whl
Collecting mistune<2,>=0.8.1 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/09/ec/4b43dae793655b7d8a25f76119624350b4d65eb663459eb9603d7f1f0345/mistune-0.8.4-py2.py3-none-any.whl
Collecting bleach (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/ab/05/27e1466475e816d3001efb6e0a85a819be17411420494a1e602c36f8299d/bleach-3.1.0-py2.py3-none-any.whl (157kB)
100% |████████████████████████████████| 163kB 5.4MB/s
Collecting testpath (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/1b/9e/1a170feaa54f22aeb5a5d16c9015e82234275a3c8ab630b552493f9cb8a9/testpath-0.4.4-py2.py3-none-any.whl (163kB)
100% |████████████████████████████████| 174kB 4.4MB/s
Collecting pandocfilters>=1.4.1 (from nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/4c/ea/236e2584af67bb6df960832731a6e5325fd4441de001767da328c33368ce/pandocfilters-1.4.2.tar.gz
Collecting jsonschema!=2.5.0,>=2.4 (from nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/c5/8f/51e89ce52a085483359217bc72cdbf6e75ee595d5b1d4b5ade40c7e018b8/jsonschema-3.2.0-py2.py3-none-any.whl (56kB)
100% |████████████████████████████████| 61kB 14.1MB/s
Collecting parso>=0.5.0 (from jedi>=0.10->ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/a3/bd/bf4e5bd01d79906e5b945a7af033154da49fd2b0d5b5c705a21330323305/parso-0.5.1-py2.py3-none-any.whl (95kB)
100% |████████████████████████████████| 102kB 6.0MB/s
Collecting wcwidth (from prompt-toolkit!=3.0.0,!=3.0.1,<3.1.0,>=2.0.0->ipython>=5.0.0->ipykernel>=4.10->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/7e/9f/526a6947247599b084ee5232e4f9190a38f398d7300d866af3ab571a5bfe/wcwidth-0.1.7-py2.py3-none-any.whl
Collecting webencodings (from bleach->nbconvert->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/f4/24/2a3e3df732393fed8b3ebf2ec078f05546de641fe1b667ee316ec1dcf3b7/webencodings-0.5.1-py2.py3-none-any.whl
Collecting pyrsistent>=0.14.0 (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/6c/6f/c1a2e8da80a0029f6b618d7e20e1a6f2a61dd04e2e54225309c2cc4268f7/pyrsistent-0.15.6.tar.gz (107kB)
100% |████████████████████████████████| 112kB 4.8MB/s
Collecting importlib-metadata; python_version < "3.8" (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/e7/59/cc2a91f71957dfb32f25e6b19d8c6dfdbe524e0998e7f7a58a75126ce0cd/importlib_metadata-1.2.0-py2.py3-none-any.whl
Collecting attrs>=17.4.0 (from jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/a2/db/4313ab3be961f7a763066401fb77f7748373b6094076ae2bda2806988af6/attrs-19.3.0-py2.py3-none-any.whl
Collecting zipp>=0.5 (from importlib-metadata; python_version < "3.8"->jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/74/3d/1ee25a26411ba0401b43c6376d2316a71addcc72ef8690b101b4ea56d76a/zipp-0.6.0-py2.py3-none-any.whl
Collecting more-itertools (from zipp>=0.5->importlib-metadata; python_version < "3.8"->jsonschema!=2.5.0,>=2.4->nbformat->notebook>=5->tlaplus_jupyter)
Downloading https://files.pythonhosted.org/packages/5c/1d/3df99de956abb96305956e09e6a1fa955883295e1f28808f9c97b3d5364d/more_itertools-8.0.0-py3-none-any.whl (40kB)
100% |████████████████████████████████| 40kB 8.1MB/s
Building wheels for collected packages: future, psutil, tornado, prometheus-client, backcall, pandocfilters, pyrsistent
Running setup.py bdist_wheel for future ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/future/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmp08sq6tpepip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for future
Running setup.py clean for future
Running setup.py bdist_wheel for psutil ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/psutil/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpe5ce7jbnpip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for psutil
Running setup.py clean for psutil
Running setup.py bdist_wheel for tornado ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/tornado/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpic0kki29pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for tornado
Running setup.py clean for tornado
Running setup.py bdist_wheel for prometheus-client ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/prometheus-client/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpf7gc1390pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for prometheus-client
Running setup.py clean for prometheus-client
Running setup.py bdist_wheel for backcall ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/backcall/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpg5z84iy4pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for backcall
Running setup.py clean for backcall
Running setup.py bdist_wheel for pandocfilters ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/pandocfilters/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpj1ahs2w0pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for pandocfilters
Running setup.py clean for pandocfilters
Running setup.py bdist_wheel for pyrsistent ... error
Complete output from command /home/markus/dump/tlaplus_jupyter/tlaplus/bin/python3 -u -c "import setuptools, tokenize;__file__='/tmp/pip-build-rz38w7vw/pyrsistent/setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d /tmp/tmpfdmq53w3pip-wheel- --python-tag cp36:
usage: -c [global_opts] cmd1 [cmd1_opts] [cmd2 [cmd2_opts] ...]
or: -c --help [cmd1 cmd2 ...]
or: -c --help-commands
or: -c cmd --help
error: invalid command 'bdist_wheel'
----------------------------------------
Failed building wheel for pyrsistent
Running setup.py clean for pyrsistent
Failed to build future psutil tornado prometheus-client backcall pandocfilters pyrsistent
Installing collected packages: future, six, decorator, ipython-genutils, traitlets, pickleshare, pygments, ptyprocess, pexpect, parso, jedi, backcall, wcwidth, prompt-toolkit, ipython, tornado, jupyter-core, python-dateutil, pyzmq, jupyter-client, ipykernel, psutil, MarkupSafe, jinja2, terminado, defusedxml, entrypoints, pyrsistent, more-itertools, zipp, importlib-metadata, attrs, jsonschema, nbformat, mistune, webencodings, bleach, testpath, pandocfilters, nbconvert, prometheus-client, Send2Trash, notebook, tlaplus-jupyter
Running setup.py install for future ... done
Running setup.py install for backcall ... done
Running setup.py install for tornado ... done
Running setup.py install for psutil ... done
Running setup.py install for pyrsistent ... done
Running setup.py install for pandocfilters ... done
Running setup.py install for prometheus-client ... done
Successfully installed MarkupSafe-1.1.1 Send2Trash-1.5.0 attrs-19.3.0 backcall-0.1.0 bleach-3.1.0 decorator-4.4.1 defusedxml-0.6.0 entrypoints-0.3 future-0.18.2 importlib-metadata-1.2.0 ipykernel-5.1.3 ipython-7.10.1 ipython-genutils-0.2.0 jedi-0.15.1 jinja2-2.10.3 jsonschema-3.2.0 jupyter-client-5.3.4 jupyter-core-4.6.1 mistune-0.8.4 more-itertools-8.0.0 nbconvert-5.6.1 nbformat-4.4.0 notebook-6.0.2 pandocfilters-1.4.2 parso-0.5.1 pexpect-4.7.0 pickleshare-0.7.5 prometheus-client-0.7.1 prompt-toolkit-3.0.2 psutil-5.6.7 ptyprocess-0.6.0 pygments-2.5.2 pyrsistent-0.15.6 python-dateutil-2.8.1 pyzmq-18.1.1 six-1.13.0 terminado-0.8.3 testpath-0.4.4 tlaplus-jupyter-0.1.1 tornado-6.0.3 traitlets-4.3.3 wcwidth-0.1.7 webencodings-0.5.1 zipp-0.6.0
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$ python3 -m tlaplus_jupyter.install
Installing Jupyter kernel spec
Downloading tla2tools.jar to /home/markus/dump/tlaplus_jupyter/tlaplus/lib/python3.6/site-packages/tlaplus_jupyter/vendor/tla2tools.jar
(tlaplus) markus@avocado:~/dump/tlaplus_jupyter$
Installation into virtualenv with python3 complains about
error: invalid command 'bdist_wheel'on Ubuntu 18.04. However, TLA+ notebook appears to work fine (unless unknown unknown).