Skip to content

Instantly share code, notes, and snippets.

@davidosomething

davidosomething/get_github_ssh_key.sh

Created February 19, 2013 15:54
Show Gist options
  • Save davidosomething/4987095 to your computer and use it in GitHub Desktop.
Save davidosomething/4987095 to your computer and use it in GitHub Desktop.
Download ZIP
CLI tool to get a user's public SSH keys by their GitHub username
Raw
get_github_ssh_key.sh
get_github_ssh_key() {
if [ -z "$1" ]; then
echo "Missing username"
echo
echo "USAGE: get_github_ssh_key GITHUB_USERNAME"
else
curl https://github.com/$1.keys
echo
fi
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment