From 1d54259bb1c8fe640a7addaf91c69565b9096d15 Mon Sep 17 00:00:00 2001 From: Determinant Date: Sun, 30 Aug 2020 02:00:38 -0400 Subject: ... --- scripts/deploy/README.rst | 7 +++++-- 1 file 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 -- cgit v1.2.3-70-g09d2