From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1]) by sourceware.org (Postfix) with ESMTP id 39686385B835 for ; Fri, 10 Apr 2020 12:49:41 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 39686385B835 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 871E55604A; Fri, 10 Apr 2020 08:49:40 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id qnJf3TYQUcJn; Fri, 10 Apr 2020 08:49:40 -0400 (EDT) Received: from joel.gnat.com (localhost.localdomain [127.0.0.1]) by rock.gnat.com (Postfix) with ESMTP id 6171756049; Fri, 10 Apr 2020 08:49:40 -0400 (EDT) Received: by joel.gnat.com (Postfix, from userid 1000) id ADB2183399; Fri, 10 Apr 2020 05:49:38 -0700 (PDT) Date: Fri, 10 Apr 2020 05:49:38 -0700 From: Joel Brobecker To: Mark Wielaard Cc: Overseers mailing list Subject: Re: update user brobecke's public SSH key Message-ID: <20200410124938.GM9860@adacore.com> References: <20200409225321.GA28644@adacore.com> <20200409230919.GC16021@wildebeest.org> <20200409232128.GI9860@adacore.com> <20200410001040.GD16021@wildebeest.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200410001040.GD16021@wildebeest.org> User-Agent: Mutt/1.9.4 (2018-02-28) X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2 X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on server2.sourceware.org X-BeenThere: overseers@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Overseers mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 10 Apr 2020 12:49:42 -0000 > > Thanks Mark. Unfortunately, these don't work: > > > > $ ssh sourceware.org replacekey < .ssh/id_rsa.pub > > bash: replacekey: command not found > > $ ssh sourceware.org appendkey < .ssh/id_rsa.pub > > bash: appendkey: command not found > > That is odd. The user brobecke shouldn't have a bash shell. Could it > be that ssh is using another account for which you have a real shell? > Could you try the above with an explicit brobecke@sourceware.org ? Headslap. I'm an idiot... Thanks a lot for pointing me in the right direction, Mark. For sourceware.org, because I have access to two accounts ("brobecke" is my restricted user account for pushing commits, while "gdbadmin" is a shared account for GDB admin stuff, and in particular for releases). Because I was doing "ssh gdbadmin@sourceware" a lot, I thought it would be more efficient to configure my SSH to use gdbadmin by default when ssh-ing to sourceware, and then force "brobecke" back in my git repositories. That works very well until the day you miss the implication on the instructions above. I'm happy to confirm that... $ ssh brobecke@sourceware.org replacekey < .ssh/id_rsa.pub ... worked like a charm. From there, I removed the old key from my agent, and was able to fetch from GDB, so I think it's all set. Thanks again! -- Joel