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