How to add new ssh keys with ros config set? (resolved)

This worked like a charm. Thanks a lot!