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

Reply via email to