Skip to content

Instantly share code, notes, and snippets.

@toli
toli / get-github-keys
Created December 9, 2016 19:55 — forked from mikedougherty/get-github-keys
Bash script to fetch public keys of a github user
#!/bin/bash
# get-github-keys
# pipe the output to an ~/.ssh/authorized_keys file to grant ssh access
# of a system to a github user. Probably has other uses as well!
set +x
set +e
set -u
set -o pipefail