TODO: rewrite my ssh-agent scripts to have a more push-button setup, and not depend on my other bash scripts.