| 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/