Validation doesn't play nicely on a shared computer
In my shared Linux server, validation creates a directory structure under
/tmp to do its work. It then creates a directory named something like
ghctest-52ezqtk2 under which the tests live. However, some of the tests in the testsuite are library tests. These end up in a
libraries directory, accessed with prefixes like
../../libraries/xyz. That is, the
libraries directory ends up to be
/tmp/libraries. The problem is that I share this Linux server with my students, who are also attempting to run validation. After the occasional cleanout of
/tmp, whoever validates first creates the
/tmp/libraries directory and then owns that directory -- anyone else who tries to validate gets permission errors until the next cleanout of
Even with the presumably quick fix of changing the permissions on
libraries, the very use of that folder means that two people cannot validate simultaneously on the same machine.
Can we fix this?