On 2013-07-18, Dima Pasechnik <dimp...@gmail.com> wrote: > On 2013-07-18, John Cremona <john.crem...@gmail.com> wrote: >> On 18 July 2013 10:15, Marc Mezzarobba <m...@mezzarobba.net> wrote: >>> R. Andrew Ohana wrote: >>>> It's like github in that there is no shell access and everyone is under the >>>> same username 'git'. >>>> >>>> If you do >>>> >>>> ssh -v -p 2222 g...@trac.sagemath.org >>>> >>>> It should display the repositories you have read and/or write access to (in >>>> this case it should just be the sage repository), and then dump you back >>>> into your previous shell. >>> >>> Thanks for your reply! >>> >>> I think I understand that much. But it doesn't work for me: when I do that, >>> ssh fails at the authentication stage, and asks me for the password of the >>> git user, even though it also says it offered the private key >>> (/home/marc/.ssh/sage_trac in my previous message) corresponding to the >>> public key I pasted into the input field at >>> http://trac.sagemath.org/prefs/sshkeys. Is the relevant authorized_keys (or >>> whatever plays that role) updated immediately when one adds a key using the >>> web interface, or is there a delay? >>> >>> Does anyone manage to connect with a public key they added that way? >> >> It fails for me too. I added the lines >> >> Host trac.sagemath.org >> IdentityFile ~/.ssh/id_rsa_git >> User git >> >> in ~/.ssh/config, and pasted in the contents of id_rsa_git.pub but >> again it drops back to a password prompt. I was using my same public >> key as I use for github. > > shouldn't you rather have > IdentityFile ~/.ssh/id_rsa_git.pub > ? > (you have a keypair, and IdentityFile should refer to the public part) oops, that's nonsense, I'll take this back.
> > >> >> John >> >>> >>> -- >>> Marc >>> >>> -- >>> You received this message because you are subscribed to the Google Groups >>> "sage-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send an >>> email to sage-devel+unsubscr...@googlegroups.com. >>> To post to this group, send email to sage-devel@googlegroups.com. >>> Visit this group at http://groups.google.com/group/sage-devel. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/groups/opt_out.
