aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDeterminant <tederminant@gmail.com>2020-08-30 02:00:38 -0400
committerDeterminant <tederminant@gmail.com>2020-08-30 02:00:38 -0400
commit1d54259bb1c8fe640a7addaf91c69565b9096d15 (patch)
tree68817a618778d99797a800dd37f7fa32ca4e03c6
parent04ba288dac334697bcac42788c9fd603cf93a7d6 (diff)
...
-rw-r--r--scripts/deploy/README.rst7
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