On platforms where the /tmp directory does not contain sufficient disk space, it may be necessary to force the use of a different temporary directory. This article discusses a way to do this.
↧