Filippo Giunchedi has submitted this change and it was merged.
Change subject: hhvm: reimage mw1019 with trusty and hhvm
......................................................................
hhvm: reimage mw1019 with trusty and hhvm
also remove from dsh group mediawiki-installation to avoid surprises during
deployments
RT #8153
Change-Id: I6bee3494129472113bce8da83f1ce11a3bfd6e8f
---
M files/dsh/group/mediawiki-installation
M modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
2 files changed, 3 insertions(+), 1 deletion(-)
Approvals:
Filippo Giunchedi: Verified; Looks good to me, approved
jenkins-bot: Verified
diff --git a/files/dsh/group/mediawiki-installation
b/files/dsh/group/mediawiki-installation
index 24538cf..d9bc2af 100644
--- a/files/dsh/group/mediawiki-installation
+++ b/files/dsh/group/mediawiki-installation
@@ -26,7 +26,7 @@
mw1016
mw1017
mw1018
-mw1019
+# mw1019 HHVM, RT #8153
mw1020
mw1021
mw1022
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 dda28d5..8094cbb 100644
--- a/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
+++ b/modules/install-server/files/dhcpd/linux-host-entries.ttyS1-115200
@@ -1926,6 +1926,8 @@
host mw1019 {
hardware ethernet 84:2b:2b:77:e4:67;
fixed-address mw1019.eqiad.wmnet;
+ option pxelinux.pathprefix "trusty-installer/";
+ filename "trusty-installer/ubuntu-installer/amd64/pxelinux.0";
}
host mw1020 {
--
To view, visit https://gerrit.wikimedia.org/r/155000
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6bee3494129472113bce8da83f1ce11a3bfd6e8f
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
