Dzahn has uploaded a new change for review. https://gerrit.wikimedia.org/r/284600
Change subject: add install1001 to site.pp and DHCP ...................................................................... add install1001 to site.pp and DHCP Bug:T132757 Change-Id: Iee6fe88084f52a50cdc7e87ebd2865cc78b429eb --- M manifests/site.pp M modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 2 files changed, 20 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/puppet refs/changes/00/284600/1 diff --git a/manifests/site.pp b/manifests/site.pp index e07a5a5..bca584f 100644 --- a/manifests/site.pp +++ b/manifests/site.pp @@ -1382,6 +1382,17 @@ include base::firewall } +# partially replaces carbon (T132757) +node 'install1001.wikimedia.org' { + $cluster = 'misc' + + interface::add_ip6_mapped { 'main': + interface => 'eth0', + } + + include standard +} + node 'install2001.wikimedia.org' { role installserver::tftp_server $cluster = 'misc' diff --git a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 index d0d68ae..ef06b00 100644 --- a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 +++ b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200 @@ -2593,6 +2593,15 @@ fixed-address hydrogen.wikimedia.org; } +host install1001 { + hardware ethernet ; + fixed-address install1001.wikimedia.org; + option pxelinux.pathprefix "jessie-installer/"; + filename "jessie-installer/debian-installer/amd64/pxelinux.0"; + + next-server 208.80.153.4; # install2001 (tftp server) +} + host install2001 { hardware ethernet D4:AE:52:AA:06:C3; fixed-address install2001.wikimedia.org; -- To view, visit https://gerrit.wikimedia.org/r/284600 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Iee6fe88084f52a50cdc7e87ebd2865cc78b429eb Gerrit-PatchSet: 1 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits