diff options
| author | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
|---|---|---|
| committer | Nicolas Braud-Santoni <nicolas@braud-santoni.eu> | 2018-06-12 22:01:58 +0200 |
| commit | dc249ab3f4af3c3f840386ae7e774c919e5a3fc8 (patch) | |
| tree | 17e81c46081875229dd9ea7fb54418e5e763d560 /hosts.ini | |
| parent | 6236f20810802e5e157fe6f26eff3df0e0143149 (diff) | |
Rename hosts to hosts.ini
Diffstat (limited to 'hosts.ini')
| -rw-r--r-- | hosts.ini | 31 |
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 |