At one point we moved the temp directory zef used from $*HOME/.zef/tmp to $*TMPDIR/.zef. However, this meant the temp directories started to be the same for different users, and thus permissions issues could arise. This changes the temp directory to $*TMPDIR/.zef/$time.$pid, and adds the config logic for interpolating {time} and $*PID.
At one point we moved the temp directory zef used from
$*HOME/.zef/tmpto$*TMPDIR/.zef. However, this meant the temp directories started to be the same for different users, and thus permissions issues could arise. This changes the temp directory to$*TMPDIR/.zef/$time.$pid, and adds the config logic for interpolating{time}and$*PID.Fixes #510