2020-03-08 14:18:13 +01:00
|
|
|
Host porky
|
|
|
|
|
Hostname porky.eintr.org
|
|
|
|
|
ForwardAgent yes
|
|
|
|
|
|
|
|
|
|
Host home
|
2020-07-31 13:59:43 +02:00
|
|
|
Hostname porky.eintr.org
|
2020-03-08 14:18:13 +01:00
|
|
|
ForwardAgent no
|
|
|
|
|
|
|
|
|
|
Host home-dev
|
|
|
|
|
Hostname home.eintr.org
|
|
|
|
|
ForwardAgent yes
|
|
|
|
|
ExitOnForwardFailure yes
|
|
|
|
|
LocalForward 127.0.0.1:3000 127.0.0.1:3000
|
|
|
|
|
LocalForward 127.0.0.1:8000 127.0.0.1:8000
|
|
|
|
|
LocalForward 127.0.0.1:8080 127.0.0.1:8080
|
2020-06-12 08:53:59 +02:00
|
|
|
LocalForward 127.0.0.1:9090 127.0.0.1:9090
|
|
|
|
|
LocalForward 127.0.0.1:15000 127.0.0.1:15000
|
|
|
|
|
LocalForward 127.0.0.1:9876 127.0.0.1:9876
|
2020-03-08 14:18:13 +01:00
|
|
|
RemoteForward /run/user/1000/gnupg/S.gpg-agent /run/user/1000/gnupg/S.gpg-agent.extra
|
|
|
|
|
RemoteForward /run/user/1000/gnupg/S.gpg-agent.ssh /run/user/1000/gnupg/S.gpg-agent.ssh
|
|
|
|
|
|
