>>>>> "Dekel" == Dekel Tsur <[EMAIL PROTECTED]> writes:

I see you applied the patch. This was probably a good decision :)

Dekel> Therefore, we do an automatic update only if the file
Dekel> ~/.lyx/lyxrc.defaults exists, and this file is older than
Dekel> LYXLIBDIR/configure.

That is indeed fine.

Dekel> But if the user environment is the same as the global
Dekel> environment (no lyxrc.defaults/packages.lst/textclass.lst) this
Dekel> change will cause an unneeded configure run each time a new
Dekel> version of LyX is installed (because the log file always
Dekel> exists). Creating ~/.lyx/local_changes as suggested above might
Dekel> be a better option.

I'd rather create a config.log, which would have a real use, and would
give us this timing info.

JMarc

Reply via email to