Ema has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/382403 )
Change subject: package_builder: add support for WIKIMEDIA_EXPERIMENTAL
......................................................................
package_builder: add support for WIKIMEDIA_EXPERIMENTAL
In order to use packages uploaded to experimental as build dependencies,
check if the WIKIMEDIA_EXPERIMENTAL environment variable is set to "yes"
in D01apt.wikimedia.org and if so enable the experimental component.
Change-Id: I9b838b3f5072edb886e0e01b7dea86634bd64d20
---
M modules/package_builder/templates/D01apt.wikimedia.org.erb
1 file changed, 5 insertions(+), 0 deletions(-)
Approvals:
Ema: Verified; Looks good to me, approved
Alexandros Kosiaris: Looks good to me, but someone else must approve
diff --git a/modules/package_builder/templates/D01apt.wikimedia.org.erb
b/modules/package_builder/templates/D01apt.wikimedia.org.erb
index add76a9..598aaac 100644
--- a/modules/package_builder/templates/D01apt.wikimedia.org.erb
+++ b/modules/package_builder/templates/D01apt.wikimedia.org.erb
@@ -11,6 +11,11 @@
Pin: release o=Wikimedia
Pin-Priority: 1001
EOF
+
+ if [ "${WIKIMEDIA_EXPERIMENTAL}" = "yes" ]; then
+ echo 'deb <%= @mirror %> <%= @distribution %>-wikimedia
experimental' > /etc/apt/sources.list.d/wikimedia-experimental.list
+ fi
+
apt-get install wget gnupg -y
wget -O - -o /dev/null
http://apt.wikimedia.org/autoinstall/keyring/wikimedia-archive-keyring.gpg |
apt-key add -
apt-get update
--
To view, visit https://gerrit.wikimedia.org/r/382403
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9b838b3f5072edb886e0e01b7dea86634bd64d20
Gerrit-PatchSet: 5
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Ema <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Ema <[email protected]>
Gerrit-Reviewer: Filippo Giunchedi <[email protected]>
Gerrit-Reviewer: Muehlenhoff <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
