Ok, this should be fixed now. Gitolite would fail midway through updating everything if there was even a single malformed public key -- I patched it to not be so stupid.
On Thu, Jul 18, 2013 at 5:46 AM, Dima Pasechnik <dimp...@gmail.com> wrote: > 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. > > > -- Andrew -- 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.