Somehow I managed to lose ~/.ssh/id_rsa_github so I just generated a new id_rsa key pair. Logged into my github account, deleted the old public key and added the new one (github's email shows it to be much shorter than the string in ~/.ssh/id_rsa_github.pub).
However, it's not working. When I try to sync my local web site directory with its github origin/master directory my attempt fails: $ git push origin no such identity: /home/rshepard/.ssh/id_rsa_github: No such file or directory Permission denied (publickey). fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists Yet, in ~/.ssh/ there are both id_rsa_github and id_rsa_github.pub, both freshly generated. What have I missed? TIA, Rich