Re: [wwwdocs] Document how to add a new SSH key

2015-12-23 Thread Toon Moene
On 12/23/2015 08:57 PM, Marc Glisse wrote: On Wed, 23 Dec 2015, Toon Moene wrote: On 12/22/2015 02:59 PM, Gerald Pfeifer wrote: +ssh username@gcc.gnu.org append-key < KEYFILE Hmm, I get: toon@moene:~$ ssh t...@gcc.gnu.org append-key < .ssh/id_dsa.pub /home/toon/.ssh/config line 3: Bad pr

Re: [wwwdocs] Document how to add a new SSH key

2015-12-23 Thread Marc Glisse
On Wed, 23 Dec 2015, Toon Moene wrote: On 12/22/2015 02:59 PM, Gerald Pfeifer wrote: Jan (Beulich) ran into this, and indeed I could not find it documented. So I added it. ;-) +ssh username@gcc.gnu.org append-key < KEYFILE Hmm, I get: toon@moene:~$ ssh t...@gcc.gnu.org append-key < .ssh

Re: [wwwdocs] Document how to add a new SSH key

2015-12-23 Thread Toon Moene
On 12/22/2015 02:59 PM, Gerald Pfeifer wrote: Jan (Beulich) ran into this, and indeed I could not find it documented. So I added it. ;-) +ssh username@gcc.gnu.org append-key < KEYFILE Hmm, I get: toon@moene:~$ ssh t...@gcc.gnu.org append-key < .ssh/id_dsa.pub /home/toon/.ssh/config line 3

[wwwdocs] Document how to add a new SSH key

2015-12-22 Thread Gerald Pfeifer
Jan (Beulich) ran into this, and indeed I could not find it documented. So I added it. ;-) Applied. Gerald --- svnwrite.html.orig 2015-04-06 20:15:18.0 +0800 +++ svnwrite.html 2015-12-22 17:07:33.636074381 +0800 @@ -420,6 +420,10 @@ ssh username@gcc.gnu.org email mynewaddr...@ex