Hashar has submitted this change and it was merged.
Change subject: ant: points sqlite.dir.tempfs to $HOME/tmpfs
......................................................................
ant: points sqlite.dir.tempfs to $HOME/tmpfs
The jenkins-slave have tmps under their homedir just like jenkins user.
Get rid of the hardcoded '/var/lib/jenkins' home dir.
Change-Id: I177a2307249f589c7aa9acf901baa8dfca77a64b
---
M jobs/_shared/default.properties
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Hashar: Verified; Looks good to me, approved
diff --git a/jobs/_shared/default.properties b/jobs/_shared/default.properties
index 1749ed6..48419c4 100644
--- a/jobs/_shared/default.properties
+++ b/jobs/_shared/default.properties
@@ -35,7 +35,7 @@
# Directories to write SQLite files too.
# tmpfs dir, and self fallback whenever it does not exist.
-sqlite.dir.tempfs=/var/lib/jenkins/tmpfs
+sqlite.dir.tempfs=${env.HOME}/tmpfs
sqlite.dir.fallback=${builddir}/data
# Root URL for gerrit repositories, used for git clone
--
To view, visit https://gerrit.wikimedia.org/r/70645
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I177a2307249f589c7aa9acf901baa8dfca77a64b
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
