Hi Ed/Reynald,
I had same issue on our jenkins slave, and find this post useful.
I have one more question here.
Once we change the default /tmp to something else like /foo, should we also worry about cleaning up this /foo temp directory regularly?
What's your recommendation?
Thanks