Move github host to if block in ssh config

This commit is contained in:
Gabriel Augendre 2023-02-02 13:44:37 +01:00
parent 98b181c607
commit 8b2fe93b7d

View file

@ -35,8 +35,8 @@ Host hyperhdr
hostname hyperhdr.local hostname hyperhdr.local
user pi user pi
Host github.com
{{ if hasKey . "proxy" }} {{ if hasKey . "proxy" }}
Host github.com
Hostname ssh.github.com Hostname ssh.github.com
Port 443 Port 443
User git User git