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-07-30 15:15:01 -07:00
2019-08-09 14:11:41 +10:00
2019-08-05 16:59:57 +10:00
2019-05-15 16:03:07 -07:00
2019-08-05 16:59:57 +10:00