Subject: Re: [bug#30572] [PATCH 4/7] docker: Allow the use of a custom temporary directory.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 27 Feb 2018 18:00:30 +0100

Hello Chris,

Chris Marusich <[email-masked]> skribis:

> +TMPDIR is the name of the temporary working directory to use.  This can be
> +useful if you need to use a specific temporary directory, for example because
> +the default temporary directory lies on a file system with insufficient
> +space."

Usually this code is used in a derivation, where it doesn’t really
matter which directory is used, no?

Thanks,
Ludo’.