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