Added support for updated CircleCI SSH fingerprint format. Part 9.

.devtools/setup-ssh.sh

@@ -19,7 +19,7 @@ SSH_KEY_FINGERPRINT="${SSH_KEY_FINGERPRINT:-}"
 
 mkdir -p "${HOME}/.ssh/"
 
-echo -e "\nHost *\n\tStrictHostKeyChecking no\n\IdentitiesOnly yes no\n\tUserKnownHostsFile /dev/null\n" >"${HOME}/.ssh/config"
+echo -e "\nHost *\n\tStrictHostKeyChecking no\n\tIdentitiesOnly yes no\n\tUserKnownHostsFile /dev/null\n" >"${HOME}/.ssh/config"
 rm -f "${HOME}/.ssh/known_hosts" > /dev/null 2>&1 || true
 
 # The given SHA256 fingerprint, change this value as needed