23 May
2008
23 May
'08
3:56 p.m.
few? afaik all windows and linux systems -)
No :-) I have to insist like one year ago, *no* Linux machine I have an account on does set TMP or TEMP (using various distributions). Maybe that's a shell problem, I don't know, but on any case you can't rely on it.
anyhow, taco and i decided now to default as follows: if CACHEPATH is not set:
cachepath = os.env["TEXMFCACHE"] or os.env["TMP"] or os.env["TEMP"] or os.env["TMPDIR"] or os.get["HOME"] or os.env["HOMEPATH"] or nil
Sounds reasonable, but why not test for the existence of the /tmp directory also? Arthur