diff options
Diffstat (limited to 'global')
| -rw-r--r-- | global/overlay/etc/puppet/manifests/cosmos-site.pp | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/global/overlay/etc/puppet/manifests/cosmos-site.pp b/global/overlay/etc/puppet/manifests/cosmos-site.pp index 7ee2ede..fd786e5 100644 --- a/global/overlay/etc/puppet/manifests/cosmos-site.pp +++ b/global/overlay/etc/puppet/manifests/cosmos-site.pp @@ -208,20 +208,20 @@ class sunet-dhcp-hosts { # eduID Development subnets dhcp::pool {'eduid-tug-dev': network => '194.68.13.128', - mask => '255.255.255.224', + mask => '255.255.255.224', gateway => '194.68.13.129', - range => '', - options = ['domain-name-servers 109.105.111.31, 109.105.110.31', - ], + range => '', + options => ['domain-name-servers 109.105.111.31, 109.105.110.31', + ], } dhcp::pool {'eduid-fre-dev': network => '194.68.13.160', - mask => '255.255.255.224', + mask => '255.255.255.224', gateway => '194.68.13.161', - range => '', - options = ['domain-name-servers 109.105.111.31, 109.105.110.31', - ], + range => '', + options => ['domain-name-servers 109.105.111.31, 109.105.110.31', + ], } # eduID TUG development hosts |