Karim BELABAS on Thu, 3 Oct 2002 22:25:45 +0200 (MEST)


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

Re: MPQS not cleaning up files


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

(+ some various places on exotic systems like $TEMP or \temp on winCE, $TMP
and $TEMP on EMX, etc)

Some of it is even documented ... in the wrong place. GPTMPDIR is mentioned
(for something else) in the man page for gphelp.

I've added it to gp man page.

Cheers,

    Karim.
-- 
Karim Belabas                    Tel: (+33) (0)1 69 15 57 48
Dép. de Mathematiques, Bat. 425  Fax: (+33) (0)1 69 15 60 19
Université Paris-Sud             Email: Karim.Belabas@math.u-psud.fr
F-91405 Orsay (France)           http://www.math.u-psud.fr/~belabas/
--
PARI/GP Home Page: http://www.parigp-home.de/