Hi Florian,
thanks for the link, that solved the issue. Indeed the default SSH Agent does not work so well with multiple keys.
Best,
Miha
Hi Florian,
thanks for the link, that solved the issue. Indeed the default SSH Agent does not work so well with multiple keys.
Best,
Miha