change SSH keys

To keep things simple, have only one user SSH key instead of two.
Previously, we had one for logging into puomi@puomienv, and another
for puomi@puomienv to log into the other VMs. Now we have only one.
This makes it easier to manage keys, at the cost of duplicating the
key in env/ssh/ed25518 and env/playbook.yml.

Sponsored-by: author

1 files changed, 2 insertions, 0 deletions

diff --git a/puomi.md b/puomi.md
index f710792..e383372 100644
--- a/puomi.md
+++ b/puomi.md
@@ -95,4 +95,6 @@ them from the test environment.
 given a router testing environment
 when I run ssh -F .ssh/config -v puomi@puomienv hostname
 then stdout is exactly "puomienv\n"
+when I run ssh -F .ssh/config -v puomi hostname
+then stdout is exactly "puomi\n"
 ~~~