jenkins-bot has submitted this change and it was merged.
Change subject: Do not use symlink for LocalSettings.php
......................................................................
Do not use symlink for LocalSettings.php
The /vagrant/mediawiki directory is exported from the host computer to
the Vagrant managed guest. This means that symlinks in this directory
will only work if the host's filesystem supports them.
Bug: 69425
Change-Id: I56f3214d83ed3d6d8cb26228318cfde48d965da8
---
M puppet/modules/mediawiki/manifests/init.pp
1 file changed, 4 insertions(+), 4 deletions(-)
Approvals:
Yurik: Looks good to me, approved
jenkins-bot: Verified
diff --git a/puppet/modules/mediawiki/manifests/init.pp
b/puppet/modules/mediawiki/manifests/init.pp
index d57a2fa..7688e62 100644
--- a/puppet/modules/mediawiki/manifests/init.pp
+++ b/puppet/modules/mediawiki/manifests/init.pp
@@ -121,10 +121,10 @@
],
}
- file { "${dir}/LocalSettings.php":
- ensure => link,
- force => true,
- target =>
"${::mediawiki::multiwiki::settings_root}/${db_name}/LocalSettings.php",
+ # Bug 69425: symlinks are not compatible with windows host machines
+ exec { 'copy_LocalSettings':
+ command => "cp
${::mediawiki::multiwiki::settings_root}/${db_name}/LocalSettings.php
${dir}/LocalSettings.php",
+ creates => "${dir}/LocalSettings.php",
require => MediaWiki::Wiki[$wiki_name],
}
--
To view, visit https://gerrit.wikimedia.org/r/154707
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I56f3214d83ed3d6d8cb26228318cfde48d965da8
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/vagrant
Gerrit-Branch: master
Gerrit-Owner: BryanDavis <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: Yurik <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
