From e21d14da5693bfe03685a38c1ba144a1bc3d1b48 Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@privatestorage.io>
Date: Fri, 14 May 2021 14:46:06 +0000
Subject: [PATCH] Add port number to ssh config snippet

---
 morph/grid/local/README.rst | 1 +
 1 file changed, 1 insertion(+)

diff --git a/morph/grid/local/README.rst b/morph/grid/local/README.rst
index 85632dcf..9240fe64 100644
--- a/morph/grid/local/README.rst
+++ b/morph/grid/local/README.rst
@@ -49,6 +49,7 @@ Use the local development environment
     Host payments1 192.168.67.21
       HostName 192.168.67.21
       User vagrant
+      Port 22
       [...]
 
 4.  Then, make morph use this ssh config either - with newer morph [#]_ - by pointing it to it::
-- 
GitLab