From bd06b066df3d1c998083e04e49aa844b5c467d3d Mon Sep 17 00:00:00 2001
From: Florian Sesser <florian@privatestorage.io>
Date: Mon, 10 May 2021 21:39:31 +0000
Subject: [PATCH] Add morph version that's needed for the SSH_CONFIG_FILE
 option

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

diff --git a/morph/grid/local/README.rst b/morph/grid/local/README.rst
index bca7fbb3..bddc44f0 100644
--- a/morph/grid/local/README.rst
+++ b/morph/grid/local/README.rst
@@ -51,7 +51,7 @@ Add the IPs from ``grid.nix`` to the vagrant-ssh-config Host match blocks so the
     User vagrant
     [...]
 
-Then, make morph use this ssh config either - with newer morph - point it to it::
+Then, make morph use this ssh config either - with newer morph [#]_ - by pointing it to it::
 
   export SSH_CONFIG_FILE=./vagrant-ssh-config
 
@@ -63,3 +63,4 @@ Then, build and deploy our software to the Vagrant VMs::
   morph push grid.nix
   morph deploy grid.nix switch
 
+.. [#]  Morph honors the ``SSH_CONFIG_FILE`` environment variable `since 3f90aa88 (March 2020, v 1.5.0) <https://github.com/DBCDK/morph/commit/3f90aa885fac1c29fce9242452fa7c0c505744ef#diff-d155ad793bd62e6ea4c44ba985049ecb13a4f4f32f799791b2bce695a16c0101>`_.
-- 
GitLab