2025-04-18 19:15:14 +01:00
|
|
|
Host alps
|
2025-05-13 12:19:13 +01:00
|
|
|
HostName 10.88.0.1
|
2025-04-17 04:56:00 +01:00
|
|
|
User git
|
2025-05-16 09:22:10 +01:00
|
|
|
IdentityFile ~/.ssh/id_ed25519
|
2025-04-17 04:56:00 +01:00
|
|
|
IdentitiesOnly yes
|
|
|
|
StrictHostKeyChecking yes
|
2025-04-18 19:15:14 +01:00
|
|
|
Port 2222
|
2025-05-13 08:48:50 +01:00
|
|
|
ProxyCommand none
|
2025-04-17 04:56:00 +01:00
|
|
|
|
2025-05-13 12:19:28 +01:00
|
|
|
Host github
|
|
|
|
HostName github.com
|
|
|
|
User git
|
2025-05-16 09:22:10 +01:00
|
|
|
IdentityFile ~/.ssh/id_ed25519
|
2025-05-13 12:19:28 +01:00
|
|
|
IdentitiesOnly yes
|
|
|
|
StrictHostKeyChecking yes
|
|
|
|
ProxyCommand none
|
|
|
|
|
2025-04-17 04:56:00 +01:00
|
|
|
Host *
|
2025-05-13 08:48:50 +01:00
|
|
|
ProxyCommand /bin/false
|