summaryrefslogtreecommitdiff
path: root/hosts.ini
diff options
context:
space:
mode:
authorNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-06-12 22:01:58 +0200
committerNicolas Braud-Santoni <nicolas@braud-santoni.eu>2018-06-12 22:01:58 +0200
commitdc249ab3f4af3c3f840386ae7e774c919e5a3fc8 (patch)
tree17e81c46081875229dd9ea7fb54418e5e763d560 /hosts.ini
parent6236f20810802e5e157fe6f26eff3df0e0143149 (diff)
Rename hosts to hosts.ini
Diffstat (limited to 'hosts.ini')
-rw-r--r--hosts.ini31
1 files changed, 31 insertions, 0 deletions
diff --git a/hosts.ini b/hosts.ini
new file mode 100644
index 0000000..791109f
--- /dev/null
+++ b/hosts.ini
@@ -0,0 +1,31 @@
+[baremetalservers]
+spektral
+mur
+tub
+
+[kvmhosts]
+spektral
+mur
+tub
+
+[virtualservers]
+oldgw
+gw-cc
+stats
+www
+git
+build
+build2
+tun
+conftun
+gw-mur
+debian
+spider
+gw-wien
+dvb
+nodedb
+nodedbstage
+
+[servers:children]
+baremetalservers
+virtualservers