Cannot export SSH public key

[Felix E. Klee]

On Thu, Nov 23, 2023 at 2:19 PM Stephan Verbücheln via Gnupg-users
<gnupg-users at gnupg.org> wrote:
> Host gitlab.com
>     HostName gitlab.com
>     User git
>     IdentityAgent ${XDG_RUNTIME_DIR}/gnupg/S.gpg-agent.ssh

Thanks, that works. Even the variable is expanded.

In addition, I need:

    gpg-connect-agent updatestartuptty /bye