.ssh/config: +.azulsystems.com

diff --git a/.ssh/config b/.ssh/config
index e9814b5..4a4393a 100644 (file)
--- a/.ssh/config
+++ b/.ssh/config
@@ -143,6 +143,18 @@ HostKeyAlias jane.jankratochvil.net
 Host jane jane.jankratochvil.net
 User root
 
+Host dev? dev?.azulsystems.com
+User jkratochvil
+Host dev1 dev1.azulsystems.com dev2 dev2.azulsystems.com
+PubkeyAcceptedKeyTypes ssh-rsa
+HostKeyAlgorithms=+ssh-dss
+Host dev1
+HostName dev1.azulsystems.com
+Host dev2
+HostName dev2.azulsystems.com
+Host dev3
+HostName dev3.azulsystems.com
+
 Host *
 Compression yes
 # no longer supported: CompressionLevel 9