We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 810783a commit d543dfbCopy full SHA for d543dfb
start.sh
@@ -53,8 +53,11 @@ if [ "$USE_SSH" = "true" ]; then
53
SSH_HOST=$(echo "$REPO" | cut -d ":" -f 1 | cut -d "@" -f 2)
54
55
echo "Adding "$SSH_HOST" to known_hosts"
56
- ssh-keygen -R $SSH_HOST
57
- ssh-keyscan -H $SSH_HOST >> ~/.ssh/known_hosts
+
+ # removes all keys belonging to hostname from a known_hosts file
58
+ ssh-keygen -R $SSH_HOST 2>/dev/null
59
+ # skip stderr logs that start with '#'
60
+ ssh-keyscan -H $SSH_HOST > ~/.ssh/known_hosts 2> >(grep -v '^#' >&2)
61
fi
62
63
mkdir -p "$WORKING_DIRECTORY"
0 commit comments