update

diff --git a/.ssh/config b/.ssh/config
index 72fa7bb..c840624 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -75,7 +75,7 @@ LocalForward 3886 kerberos.iad.redhat.com:88
 
 ProxyCommand none
 StrictHostKeyChecking yes
-Host rawhide64.englab.brq.redhat.com
+Host rawhide64.englab.brq.redhat.com shell.lab.bos.redhat.com
 User jkratoch
 Host tofu.yyz.redhat.com
 User hudson
@@ -94,7 +94,8 @@ User jkratoch
 #ProxyCommand /usr/bin/ssh ovpn-phx2.redhat.com exec nc %h %p
 #ProxyCommand /usr/bin/ssh 209.132.183.3 exec nc %h %p
 #ProxyCommand /usr/bin/ssh host0 /usr/bin/ssh 209.132.183.3 exec nc %h %p
-ProxyCommand /usr/bin/ssh -W %h:%p 209.132.183.3
+###bastion:
+###ProxyCommand /usr/bin/ssh -W %h:%p 209.132.183.3
 StrictHostKeyChecking no
 NumberOfPasswordPrompts 6
 Host shell
@@ -127,6 +128,9 @@ Compression no
 Host bombadil.infradead.org
 User lace
 
+Host nokia6
+User root
+
 Host hotelgate hotelgate.hotelsevendays.cz
 User root
 Host hotelgate
@@ -139,6 +143,9 @@ User lace
 Host tercie.tone.cz
 User short
 
+Host fencepost.gnu.org
+User jankratochvil
+
 Host neutron.fjfi.cvut.cz
 User short