Hi, Paul Wise wrote: > > -mandir=`mktemp -d dman.XXXXXX` > > +mandir=`mktemp --tmpdir="${TMPDIR:-/tmp}" -d dman.XXXXXX` > > FYI, you don't need the TMPDIR part: > > mandir=$(mktemp -d --tmpdir dman.XXXXXX)
Saw that in the man page, too, and tried it first, but it didn't seem to work for me. Got "/dman.<something>" as resulting path and hence added TMPDIR explicitly. Besides it's unclear how the tool will determine what is a parameter to -p and what's not. (At least for -p the delimiter is blank while it's an equal sign for --tmpdir.) So I stayed on the safe side. Regards, Axel -- ,''`. | Axel Beckert <a...@debian.org>, http://people.debian.org/~abe/ : :' : | Debian Developer, ftp.ch.debian.org Admin `. `' | 4096R: 2517 B724 C5F6 CA99 5329 6E61 2FF9 CD59 6126 16B5 `- | 1024D: F067 EA27 26B9 C3FC 1486 202E C09E 1D89 9593 0EDE