Filippo Giunchedi has submitted this change and it was merged.
Change subject: install_server: use http/lpxelinux on install hosts
......................................................................
install_server: use http/lpxelinux on install hosts
Load pxelinux files over http instead of tftp, this makes reinstall of install
machine themselves faster and more reliable.
Default for now is apt.wikimedia.org, though that might change in the future to
use a more specific hostname.
Change-Id: I851a70a5cec9a95606881f6139f32ca4f2c8db10
---
M modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200
1 file changed, 8 insertions(+), 0 deletions(-)
Approvals:
Filippo Giunchedi: Looks good to me, approved
jenkins-bot: Verified
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 7f134a5..c75bc3a 100644
--- a/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200
+++ b/modules/install_server/files/dhcpd/linux-host-entries.ttyS1-115200
@@ -336,6 +336,8 @@
fixed-address bast3001.wikimedia.org;
next-server 208.80.154.10; # carbon (tftp server)
+ option pxelinux.pathprefix
"http://apt.wikimedia.org/tftpboot/jessie-installer/";;
+ filename "pxelinux.0";
}
host bast4001 {
@@ -343,6 +345,8 @@
fixed-address bast4001.wikimedia.org;
next-server 208.80.153.4; # install2001 (tftp server)
+ option pxelinux.pathprefix
"http://apt.wikimedia.org/tftpboot/jessie-installer/";;
+ filename "lpxelinux.0";
}
host californium {
@@ -2549,6 +2553,8 @@
fixed-address install1001.wikimedia.org;
next-server 208.80.153.4; # install2001 (tftp server)
+ option pxelinux.pathprefix
"http://apt.wikimedia.org/tftpboot/jessie-installer/";;
+ filename "lpxelinux.0";
}
host install2001 {
@@ -2556,6 +2562,8 @@
fixed-address install2001.wikimedia.org;
next-server 208.80.154.10; # carbon (tftp server)
+ option pxelinux.pathprefix
"http://apt.wikimedia.org/tftpboot/jessie-installer/";;
+ filename "lpxelinux.0";
}
host iridium {
--
To view, visit https://gerrit.wikimedia.org/r/314251
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I851a70a5cec9a95606881f6139f32ca4f2c8db10
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Faidon Liambotis <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
