2008/5/23 Arthur Reutenauer <[EMAIL PROTECTED]>:
>>> 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
_______________________________________________
dev-context mailing list
dev-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/dev-context

Reply via email to