2008/5/23 Arthur Reutenauer
To /tmp, but there is no $TMP or $TEMP defined anywhere.
weird, maybe they use some apple name, like $WASTEBIN or $THRASH
We already had that discussion: very few systems actually set TMP or TEMP (the first public releases of Mark IV used to assume it was set, and subsequently created luatex-cache in the current directory since it wasn't).
http://en.wikipedia.org/wiki/Temporary_directory http://en.wikipedia.org/wiki/TMPDIR "TMPDIR is the canonical Unix environment variable which points to user scratch space. Most Unix utilities will honor the setting of this variable and use its value to denote the scratch area for temporary files instead of the common default of /tmp. Other forms sometimes accepted are TEMP, TEMPDIR, and TMP but these are used more commonly by non-POSIX Operating systems." Best Martin