Host porky Hostname porky.eintr.org ForwardAgent yes Host home Hostname home.eintr.org 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 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 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