From ea4c7c5a51e08ea09729a3997a09c06f28513439 Mon Sep 17 00:00:00 2001 From: nicoo Date: Tue, 14 Nov 2017 22:49:32 +0100 Subject: [PATCH] ansible: Add host metrics --- ansible/hosts | 1 + ansible/ssh/config | 4 ++++ 2 files changed, 5 insertions(+) diff --git a/ansible/hosts b/ansible/hosts index d5bfc2f..bae7f1e 100644 --- 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 --- 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 -- 1.7.10.4