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/