Modify known hosts

jasonmorganson · Jun 23, 2024 · fd5d443 · fd5d443
1 parent bb1f1da
commit fd5d443
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/home/dot_ssh/known_hosts b/home/dot_ssh/known_hosts
diff --git a/home/dot_ssh/modify_known_hosts b/home/dot_ssh/modify_known_hosts
@@ -0,0 +1,6 @@
+#!/bin/sh
+tempfile="$(mktemp)"
+trap 'rm -rf "${tempfile}"' EXIT
+cat > "${tempfile}"
+if [ ! -n "$(grep "^github.com " "${tempfile}")" ]; then ssh-keyscan github.com >> "${tempfile}" 2>/dev/null; fi
+cat "${tempfile}"