Dzahn has submitted this change and it was merged.
Change subject: extdist: minor lint
......................................................................
extdist: minor lint
Change-Id: I32eaa286b3b9eca711e83187d762269220fa2c99
---
M modules/extdist/manifests/init.pp
1 file changed, 7 insertions(+), 8 deletions(-)
Approvals:
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/extdist/manifests/init.pp
b/modules/extdist/manifests/init.pp
index 8b3d44e..d43fb94 100644
--- a/modules/extdist/manifests/init.pp
+++ b/modules/extdist/manifests/init.pp
@@ -6,13 +6,12 @@
class extdist(
$base_dir = '/srv',
$log_path = '/var/log/extdist'
-) {
-
- $dist_dir = "${base_dir}/dist"
- $clone_dir = "${base_dir}/extdist"
- $src_path = "${base_dir}/src"
+){
+ $dist_dir = "${base_dir}/dist"
+ $clone_dir = "${base_dir}/extdist"
+ $src_path = "${base_dir}/src"
$composer_dir = "${base_dir}/composer"
- $pid_folder = '/run/extdist'
+ $pid_folder = '/run/extdist'
$ext_settings = {
'API_URL' => 'https://www.mediawiki.org/w/api.php',
@@ -69,11 +68,11 @@
}
package { 'php5-cli':
- ensure => 'present',
+ ensure => present,
}
git::clone { 'integration/composer':
- ensure => 'latest',
+ ensure => latest,
directory => $composer_dir,
branch => 'master',
require => [File[$composer_dir], User['extdist'],
Package['php5-cli']],
--
To view, visit https://gerrit.wikimedia.org/r/195743
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I32eaa286b3b9eca711e83187d762269220fa2c99
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Matanya <[email protected]>
Gerrit-Reviewer: Alexandros Kosiaris <[email protected]>
Gerrit-Reviewer: Dzahn <[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
