On Mi, 26 Jun 2013, Ivan Shmakov wrote:
> -tempfileDir='/var/tmp'   ##  /var/tmp is standard on most unix systems
> +# tempfileDir='/var/tmp'   ##  /var/tmp is standard on most unix systems
> +tempfileDir=${TMPDIR:-'/tmp'}    ##  /tmp is the default on Debian

Thanks, fixed for next upload.

Norbert

------------------------------------------------------------------------
PREINING, Norbert                               http://www.preining.info
JAIST, Japan                                 TeX Live & Debian Developer
DSA: 0x09C5B094   fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
------------------------------------------------------------------------


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to