| Index: manifests/vagrant.pp |
| diff --git a/manifests/vagrant.pp b/manifests/vagrant.pp |
| deleted file mode 100644 |
| index 4765d98272ee4a0248dd1e27aed694a3900d032c..0000000000000000000000000000000000000000 |
| --- a/manifests/vagrant.pp |
| +++ /dev/null |
| @@ -1,63 +0,0 @@ |
| -define hostentry ( |
| - $host = $title['host'], |
| - $ip = $title['ip'] |
| -) { |
| - host {$host: |
| - ensure => present, |
| - ip => $ip, |
| - name => $host |
| - } |
| -} |
| - |
| -node default { |
| - |
| - $hosts = [ |
| - {host => 'localhost', ip => '127.0.0.1'}, |
| - {host => $hostname, ip => '127.0.0.1'}, |
| - {host => 'monitoring.adblockplus.org', ip => '10.8.0.99'}, |
| - {host => 'intraforum.adblockplus.org', ip => '10.8.0.105'}, |
| - {host => 'downloads.adblockplus.org', ip => '10.8.0.108'}, |
| - {host => 'notification.adblockplus.org', ip => '10.8.0.112'}, |
| - {host => 'update.adblockplus.org', ip => '10.8.0.116'}, |
| - {host => 'stats.adblockplus.org', ip => '10.8.0.117'}, |
| - {host => 'server_4.adblockplus.org', ip => '10.8.0.99'}, |
| - {host => 'server_5.adblockplus.org', ip => '10.8.0.100'}, |
| - {host => 'server_6.adblockplus.org', ip => '10.8.0.101'}, |
| - {host => 'server_7.adblockplus.org', ip => '10.8.0.102'}, |
| - {host => 'server_10.adblockplus.org', ip => '10.8.0.105'}, |
| - {host => 'server_11.adblockplus.org', ip => '10.8.0.106'}, |
| - {host => 'server_12.adblockplus.org', ip => '10.8.0.107'}, |
| - {host => 'server_15.adblockplus.org', ip => '10.8.0.110'}, |
| - {host => 'server_19.adblockplus.org', ip => '10.8.0.114'}, |
| - {host => 'notification1.adblockplus.org', ip => '10.8.0.118'}, |
| - {host => 'notification2.adblockplus.org', ip => '10.8.0.119'}, |
| - {host => 'filter1.adblockplus.org', ip => '10.8.0.120'}, |
| - {host => 'filter2.adblockplus.org', ip => '10.8.0.121'}, |
| - {host => 'filter3.adblockplus.org', ip => '10.8.0.122'}, |
| - {host => 'filter4.adblockplus.org', ip => '10.8.0.123'}, |
| - {host => 'filter5.adblockplus.org', ip => '10.8.0.124'}, |
| - {host => 'filter6.adblockplus.org', ip => '10.8.0.125'}, |
| - {host => 'download1.adblockplus.org', ip => '10.8.0.126'}, |
| - {host => 'filtermaster1.adblockplus.org', ip => '10.8.0.127'}, |
| - {host => 'update1.adblockplus.org', ip => '10.8.0.128'}, |
| - {host => 'web1.adblockplus.org', ip => '10.8.0.129'}, |
| - {host => 'stats1.adblockplus.org', ip => '10.8.0.130'}, |
| - {host => 'issues1.adblockplus.org', ip => '10.8.0.131'}, |
| - {host => 'codereview1.adblockplus.org', ip => '10.8.0.132'}, |
| - {host => 'filter7.adblockplus.org', ip => '10.8.0.133'}, |
| - {host => 'filter8.adblockplus.org', ip => '10.8.0.134'}, |
| - {host => 'filter9.adblockplus.org', ip => '10.8.0.135'}, |
| - {host => 'filter10.adblockplus.org', ip => '10.8.0.136'}, |
| - {host => 'filter11.adblockplus.org', ip => '10.8.0.137'}, |
| - {host => 'filter12.adblockplus.org', ip => '10.8.0.138'}, |
| - {host => 'filter13.adblockplus.org', ip => '10.8.0.139'}, |
| - {host => 'filter14.adblockplus.org', ip => '10.8.0.140'}, |
| - {host => 'filter15.adblockplus.org', ip => '10.8.0.141'}, |
| - {host => 'filter16.adblockplus.org', ip => '10.8.0.142'}, |
| - {host => 'filter17.adblockplus.org', ip => '10.8.0.143'}, |
| - {host => 'filter18.adblockplus.org', ip => '10.8.0.144'}, |
| - {host => 'web2.adblockplus.org', ip => '10.8.0.145'}, |
| - ] |
| - |
| - hostentry { $hosts: } |
| -} |