... readme.rst

morph/grid/local/README.rst

@@ -17,7 +17,7 @@ Use the local development environment
 
     VAGRANT_DEFAULT_PROVIDER=virtualbox vagrant up
 
-3. Then, make morph use this ssh config by adding the config to your user's ``~/.ssh/config`` file::
+3. Then, add the Vagrant SSH configuration to your user's ``~/.ssh/config`` file::
 
     install -d ~/.ssh ; vagrant ssh-config >> ~/.ssh/config
 
@@ -30,7 +30,7 @@ Use the local development environment
 
 From version 1.5.0 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>`_, so in the future this will get a bit more convenient.
 
-5. Add your SSH key to users.nix so you'll be able to log in after deploying the new configuration::
+5. Add your SSH key to ``users.nix`` so you'll be able to log in after deploying the new configuration::
 
     $EDITOR secrets/users.nix