From 73dca6ad07cfdc9150d4bedde871d7ee6f129e43 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Wed, 4 Dec 2019 14:32:34 -0800 Subject: [PATCH] Instructions how to install into python3 virtualenv on Ubuntu 18.04 --- README.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/README.md b/README.md index 55d0215..5ab8ba4 100644 --- a/README.md +++ b/README.md @@ -31,6 +31,18 @@ jupyter notebook To create a new TLA⁺ notebook click on the `New` button and select TLA⁺ in a dropdown menu. It is also handy to enable line numbering inside cells (View > Toggle Line Numbers) since syntax checker refers to problems by their line numbers. +### Ubuntu 18.04 with python3 virtualenv + +``` +sudo apt install python3-venv python3-pip +cd /tmp/ +python3 -m venv tlaplus +source tlaplus/bin/activate +pip3 install tlaplus_jupyter # Expect a few errors which apparently don't matter +python3 -m tlaplus_jupyter.install +jupyter notebook +``` + ## Usage Basic usage is explained in an [intro notebook](https://mybinder.org/v2/gh/kelvich/tlaplus_jupyter/master?filepath=intro.ipynb).