diff options
| author | Determinant <[email protected]> | 2020-08-30 02:00:38 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2020-08-30 02:00:38 -0400 |
| commit | 1d54259bb1c8fe640a7addaf91c69565b9096d15 (patch) | |
| tree | 68817a618778d99797a800dd37f7fa32ca4e03c6 | |
| parent | 04ba288dac334697bcac42788c9fd603cf93a7d6 (diff) | |
...
| -rw-r--r-- | scripts/deploy/README.rst | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/deploy/README.rst b/scripts/deploy/README.rst index 69eb1cb..89c36be 100644 --- a/scripts/deploy/README.rst +++ b/scripts/deploy/README.rst @@ -7,8 +7,8 @@ Step 1 - Environment and Dependencies Local Environment ----------------- -- We assume you have the latest ansible_ installed on your work computer (could - be your laptop/home computer). +- We assume you have the latest Ansible_ installed on your work computer (a + work computer is your laptop/home computer). - On your work computer, you have cloned the latest ``libhotstuff`` repo and updated all submodules (if not sure, run ``git submodules update --init --recursive``). Right now, you should be at ``/scripts/deploy`` directory in @@ -77,3 +77,6 @@ Other Notes (gracefully exit and all results are available) or ``reset`` (simply kill all processes) any historical runs to start fresh. - To check the whether processes are still alive: ``./run.sh check myrun1``. + + +.. _Ansible: https://docs.ansible.com/ansible/latest/installation_guide/intro_installation.html |