Krinkle has uploaded a new change for review.
https://gerrit.wikimedia.org/r/59989
Change subject: ExtraSettings.php: Set wgTmpDirectory to dir in tmpfs
......................................................................
ExtraSettings.php: Set wgTmpDirectory to dir in tmpfs
Change-Id: Ib96fccf1ffb501466d592d5fb43f0e97d9b87be4
---
M jobs/_shared/ExtraSettings.php
1 file changed, 8 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/jenkins
refs/changes/89/59989/1
diff --git a/jobs/_shared/ExtraSettings.php b/jobs/_shared/ExtraSettings.php
index 0c04dc0..909c97c 100644
--- a/jobs/_shared/ExtraSettings.php
+++ b/jobs/_shared/ExtraSettings.php
@@ -7,3 +7,11 @@
// Debugging: MediaWiki
$wgDevelopmentWarnings = true;
$wgShowExceptionDetails = true;
+
+// gallium.wikimedia.org has tmpfs installed, use that instead of
+// the default /tmp.
+$jenkinsTmpFs = '/var/lib/jenkins/tmpfs';
+$jenkinsJobName = getenv( 'JOB_NAME' );
+if ( $jenkinsJobName && is_dir( "$jenkinsJobName/$jenkinsJobName" ) ) {
+ $wgTmpDirectory = "$jenkinsJobName/$jenkinsJobName";
+}
--
To view, visit https://gerrit.wikimedia.org/r/59989
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ib96fccf1ffb501466d592d5fb43f0e97d9b87be4
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
