Ian Wienand 445eb7a7b2 backup: minor fixes
The ssh config file is /.ssh/config (not ssh_config)

We are accepting the ed25519 key, not the ecdsa key, so fix that in
the known_hosts stanza.

Change-Id: If3a42a7872f5d5e7a2bf9c3b5184fb14d43e6a1a
2019-08-09 14:11:41 +10:00
..
2019-08-09 14:11:41 +10:00
2019-06-14 13:06:24 +10:00
2019-05-21 11:08:25 +10:00
2019-02-01 10:12:51 -08:00
2019-02-25 13:14:51 -08:00