mirror of
https://github.com/nix-community/home-manager
synced 2024-06-03 05:23:32 +02:00
32 lines
706 B
Plaintext
32 lines
706 B
Plaintext
Host * !github.com
|
|
Port 516
|
|
IdentityFile file1
|
|
IdentityFile file2
|
|
Host abc
|
|
ProxyJump jump-host
|
|
Host xyz
|
|
SetEnv BAR="_bar_ 42" FOO="foo12"
|
|
ServerAliveInterval 60
|
|
ServerAliveCountMax 10
|
|
IdentityFile file
|
|
LocalForward [localhost]:8080 [10.0.0.1]:80
|
|
RemoteForward [localhost]:8081 [10.0.0.2]:80
|
|
RemoteForward /run/user/1000/gnupg/S.gpg-agent.extra /run/user/1000/gnupg/S.gpg-agent
|
|
DynamicForward [localhost]:2839
|
|
Host ordered
|
|
Port 1
|
|
|
|
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
|
|
|
|
|