Hi,
On Wed, Feb 29, 2012 at 10:56:28AM +0100, Alexander Reichle-Schmehl wrote:
> > I already logged to web interface to update my profile.
> > I do not see however any SSH key attribute in the web interface, did I
> > miss something?. I know that it can be done via the GPG gateway, sending
> > an email.
>
> IIRC you'l have to use the mail gateway to set your ssh key. See
> http://db.debian.org/doc-mail.html for details.
Which boils down to
cat ~/.ssh/<your_key>.pub | gpg --clearsign > send_this_to_changes
echo "cat send_this_to_changes | mailx -s "Please change SSH key"
chan...@db.debian.org"
Hope this helps
Andreas.
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/20120229124115.ge11...@an3as.eu
