内容
GitHubアカウントに登録している公開鍵は https://github.com/${user_name}.keys から取得できるので、それをローカルのauthorized_keysにコピーする。複数人対応。
authorized_keys.cron
#!/bin/sh
GITHUB_USERS=(mochi udon soba)
DESTINATION=~/.ssh/authorized_keys
rm -rf "$DESTINATION"
for user in ${GITHUB_USERS[@]}
do
curl -L https://github.com/${user}.keys >> "$DESTINATION"
done
chmod 600 "$DESTINATION"
上のスクリプトをサーバーの/etc/cron.daily
辺りにでも置いておけば、後は定期的にGitHubアカウントに登録している公開鍵を取得してサーバーのauthorized_keys
を更新してくれる。
業務用で使うのは怖いが、個人用途のサーバーなら結構便利である。