From 7493fd510225d105ea7c609e78dc6a32abd1576c Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@privatestorage.io>
Date: Mon, 10 May 2021 21:13:28 +0000
Subject: [PATCH] Add Vagrant ssh_config to docs

---
 morph/grid/local/README.rst | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/morph/grid/local/README.rst b/morph/grid/local/README.rst
index ddccc67d..bca7fbb3 100644
--- a/morph/grid/local/README.rst
+++ b/morph/grid/local/README.rst
@@ -40,7 +40,24 @@ Build and start the VMs::
 
   VAGRANT_DEFAULT_PROVIDER=virtualbox vagrant up
 
-Then::
+Then, once::
+
+  vagrant ssh-config > ./vagrant-ssh-config
+
+Add the IPs from ``grid.nix`` to the vagrant-ssh-config Host match blocks so the config reads like::
+
+  Host payments1 192.168.67.21
+    HostName 192.168.67.21
+    User vagrant
+    [...]
+
+Then, make morph use this ssh config either - with newer morph - point it to it::
+
+  export SSH_CONFIG_FILE=./vagrant-ssh-config
+
+Or, with older morph, adding the config to your user's ``~/.ssh/config`` file.
+
+Then, build and deploy our software to the Vagrant VMs::
 
   morph build grid.nix
   morph push grid.nix
-- 
GitLab