[libre-riscv-dev] Building Docker Containers

[Jacob Lifshay]

On Mon, Mar 30, 2020, 11:59 Luke Kenneth Casson Leighton <lkcl at lkcl.net>
wrote:

> On Mon, Mar 30, 2020 at 7:43 PM Cole Poirier <colepoirier at gmail.com>
> wrote:
> > It was my mistaken assumption that changing
> > my username would interfere with the proper functioning of my ssh
> > key because it has my old username instead of my new one. I’m happy
> > I was wrong :)
>
> yes.  ssh keys have absolutely nothing to do with usernames.
>

The field in the ssh key that looks like a username is actually the comment
field, you can put anything you like there (by using one of the options for
ssh-keygen to properly edit the files), though I'm not sure if it would
need to be updated on our servers if you change the comment field. I
recommend just leaving it.

Jacob