Hi Assaf, Thanks a lot for your support.
Yes, my user name is aceballos. As I have just told Karl in answer to his help message, I have realized that I must have deleted my $HOME/.ssh some time ago. Hence, I cannot execute the command you say. I am trying to find out if there is an easy way to restore it, so that the info on the keys is back in place. If you know a quick way to do it, that would be great. I think that this is the reason for my problem. Regards, Antonio On Fri, Jan 2, 2015 at 2:35 AM, Assaf Gordon <assafgor...@gmail.com> wrote: > Hello Antonio, > > I could perhaps offer couple of things to check: > > 1. Your user name on Savannah seems to be 'aceballos': > http://savannah.gnu.org/users/aceballos > > Please verify the SSH and SVN commands are using this username, as in: > > ssh acebal...@vcs.sv.gnu.org > and > svn co svn+ssh://acebal...@svn.savannah.gnu.org/chess/modulename > > From a cursory look in the log files, I can't find any login attempts > using this username. > > 2. You have one public key in the GNU Savannah database. > Please ensure you are using the corresponding private-key for this > public-key - otherwise you will get "permission denied". > The fingerprint of the public key we have in the database is: > $ ssh-keygen -lf /tmp/aceballos.pub.key > 2048 58:fc:d4:2e:50:31:55:4e:2e:56:8d:a6:f9:84:a5:e3 > /tmp/aceballos.pub.key (RSA) > > And to check the public key on your local computer the command should be > something like: > $ ssh-keygen -lf ~/.ssh/id_rsa.pub > > > Hope this helps, > - Assaf > >
