May 2, 2020 Niels Kobschätzki It seems that just using the ssh-agent-plugin solves my problem. I thought I tried that in the past. micro (1226)
