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

AlexSkrypnyk · Feb 1, 2024 · 3aa2886 · 3aa2886
1 parent 672fe05
commit 3aa2886
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.devtools/setup-ssh.sh b/.devtools/setup-ssh.sh
@@ -19,9 +19,7 @@ SSH_KEY_FINGERPRINT="${SSH_KEY_FINGERPRINT:-}"
 
 mkdir -p "${HOME}/.ssh/"
 
-echo -e "Host *\n\tStrictHostKeyChecking no\n" >"${HOME}/.ssh/config"
-
-#!/bin/sh
+echo -e "\nHost *\n\tStrictHostKeyChecking no\n\tUserKnownHostsFile /dev/null\n" >>"${HOME}/.ssh/config"
 
 # The given SHA256 fingerprint, change this value as needed
 SSH_KEY_FINGERPRINT="SHA256:AND4unJGhp4XCwNKyLj6uY3eJtUCZrVbpAtogtvxHbs"