Dzahn has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/382429 )
Change subject: contint: apt-get update before installing packages
......................................................................
contint: apt-get update before installing packages
apt::repository schedule a refresh of Exec[apt-get update] but the
package get installed before it has actually run. The packages are thus
not found :(
When packages require an apt::repository, make them require the apt-get
update.
Change-Id: I5c3ab00efcf320dd973d90ddb62f43f4d55eb966
---
M modules/contint/manifests/packages/php.pp
1 file changed, 5 insertions(+), 1 deletion(-)
Approvals:
Hashar: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/contint/manifests/packages/php.pp
b/modules/contint/manifests/packages/php.pp
index b7d89e5..09321cd 100644
--- a/modules/contint/manifests/packages/php.pp
+++ b/modules/contint/manifests/packages/php.pp
@@ -72,7 +72,10 @@
if os_version('debian == jessie') {
package { $php7_packages :
ensure => latest,
- require => Apt::Repository['sury-php'],
+ require => [
+ Apt::Repository['sury-php'],
+ Exec['apt-get update'],
+ ],
}
apt::repository { 'jessie-ci-php55':
@@ -103,6 +106,7 @@
ensure => present,
require => [
Apt::Repository['jessie-ci-php55'],
+ Exec['apt-get update'],
],
}
}
--
To view, visit https://gerrit.wikimedia.org/r/382429
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5c3ab00efcf320dd973d90ddb62f43f4d55eb966
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Dzahn <dz...@wikimedia.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
