mirror of
https://github.com/nix-community/home-manager
synced 2024-07-06 05:13:28 +02:00
21 lines
339 B
Plaintext
21 lines
339 B
Plaintext
Host * !github.com
|
|
Port 516
|
|
Host abc
|
|
Port 2222
|
|
Match host xyz canonical
|
|
Port 2223
|
|
|
|
Host *
|
|
ForwardAgent no
|
|
AddKeysToAgent no
|
|
Compression no
|
|
ServerAliveInterval 0
|
|
ServerAliveCountMax 3
|
|
HashKnownHosts no
|
|
UserKnownHostsFile ~/.ssh/known_hosts
|
|
ControlMaster no
|
|
ControlPath ~/.ssh/master-%r@%n:%p
|
|
ControlPersist no
|
|
|
|
|