Thanks so much for taking the time to respond here ![]()
Indeed it seems it can’t access github.com via port 22. Using this gist, I’ve changed my ~/.ssh/config to the following:
Host github.com
Hostname ssh.github.com
Port 443
and then using this comment in the original Split SSH guide, I’ve modified it to:
Host github.com
Hostname ssh.github.com
Port 443
IdentityAgent "/home/user/.SSH_AGENT_vault"
where the .SSH_AGENT_vault would be the name of the vault vm. I was able to get the GUI prompt but of course, it may stop working by the time I get to 4.3 or hopefully it will be fixed by then ![]()