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

.devtools/setup-ssh.sh

@@ -20,6 +20,7 @@ SSH_KEY_FINGERPRINT="${SSH_KEY_FINGERPRINT:-}"
 mkdir -p "${HOME}/.ssh/"
 
 echo -e "\nHost *\n\tStrictHostKeyChecking 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
 SSH_KEY_FINGERPRINT="SHA256:AND4unJGhp4XCwNKyLj6uY3eJtUCZrVbpAtogtvxHbs"
@@ -48,7 +49,7 @@ if [ -z "${SSH_AGENT_PID:-}" ]; then
   eval "$(ssh-agent)"
 fi
 
-ssh-add -D >/dev/null
+ssh-add -D
 ssh-add "${file}"
 
 echo "-------------------------------"