diff --git a/tools/add_github_host_key.sh b/tools/add_github_host_key.sh index 48cbcac724..93d4e915bb 100755 --- a/tools/add_github_host_key.sh +++ b/tools/add_github_host_key.sh @@ -7,7 +7,9 @@ mkdir -p "$HOME/.ssh" chmod og-rwx "$HOME/.ssh" cat >> "$HOME/.ssh/known_hosts" <