Host *.redhat.com porkchop devserv barstool 192.168.79.133 shell shell.lab.bos.redhat.com
User jkratoch
#ProxyCommand /usr/bin/ssh sebastian.redhat.com exec nc %h %p
Host *.redhat.com porkchop devserv barstool 192.168.79.133 shell shell.lab.bos.redhat.com
User jkratoch
#ProxyCommand /usr/bin/ssh sebastian.redhat.com exec nc %h %p