workspaces/00-allow-git.conf
2025-05-13 12:19:28 +01:00

20 lines
384 B
Plaintext

Host alps
HostName 10.88.0.1
User git
IdentityFile /opt/secure/ssh/id_ed25519
IdentitiesOnly yes
StrictHostKeyChecking yes
Port 2222
ProxyCommand none
Host github
HostName github.com
User git
IdentityFile /opt/secure/ssh/id_ed25519
IdentitiesOnly yes
StrictHostKeyChecking yes
ProxyCommand none
Host *
ProxyCommand /bin/false