ansible: Add host metrics

diff --git a/ansible/hosts b/ansible/hosts
index d5bfc2f..bae7f1e 100644 (file)
--- a/ansible/hosts
+++ b/ansible/hosts
@@ -11,6 +11,7 @@ ctf
 entrance
 galley
 hacksch
+metrics
 r3home
 tickets
 tools

diff --git a/ansible/ssh/config b/ansible/ssh/config
index f0d30e2..6f6b776 100644 (file)
--- a/ansible/ssh/config
+++ b/ansible/ssh/config
@@ -81,6 +81,10 @@ Host galley
     Hostname galley.mgmt.realraum.at
     Port 22000
 
+Host metrics
+    Hostname metrics.mgmt.realraum.at
+    Port 22000
+
 Host athsdisc
     Hostname athsdisc.realraum.at
     Port 22000