Bill Allombert on Thu, 3 Oct 2002 22:38:07 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: MPQS not cleaning up files


On Thu, Oct 03, 2002 at 10:25:45PM +0200, Karim BELABAS wrote:
> On Thu, 3 Oct 2002, Bill Allombert wrote:
> > On Thu, Oct 03, 2002 at 01:09:05PM -0400, Igor Schein wrote:
> >> I've done a restart before - very easy.  I should still have Gerhard's
> >> instructions.  I'd rather leave the behavior unchanged for such cases
> >> where it has run for too long to be wasted.
> >
> > I should add two things:
> [...]
> > 2) This is currently in the /tmp directory, which can be cleaned on reboot, so
> > this offers no protections against system crash.
> 
> Not exactly true. This is in what pari_tmp_dir() found most suitable, i.e by
> order of decreasing priority:
> 
>   $GPTMPDIR
>   $TMPDIR
>   /tmp
>   /var/tmp

If we support GPTMPDIR, we should as well support a default. Especially
because putting gphelp files in /var/tmp is a waste.

Cheers,
Bill.