Karim BELABAS on Tue, 13 Nov 2001 16:59:49 +0100 (MET)


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

Re: default log file


On Fri, 9 Nov 2001, Igor Schein wrote:
> I have a suggestion to make a default log file to be pseudo-unique for
> the session, for example pari<pid>.log.  This way you make a situation
> where you're writing by mistake to the same pari.log file from 2
> different machines much less likely to happen.

The suggested setting in gprc.dft is

  logfile = "~/tmp/pari-%d.%m"

Well, you can always improve on that:

  install(getpid, l)
  default(logfile, Str("~/tmp/pari-%d.%m." getpid()))

I'd rather have a very simple default (e.g pari.log), that works uniformly on
all platforms, but can easily be customized.

    Karim.
-- 
Karim Belabas                    email: Karim.Belabas@math.u-psud.fr
Dep. de Mathematiques, Bat. 425
Universite Paris-Sud             Tel: (00 33) 1 69 15 57 48
F-91405 Orsay (France)           Fax: (00 33) 1 69 15 60 19
--
PARI/GP Home Page: http://www.parigp-home.de/