Re: [Axiom-developer] Handling of autoload messages in TeXmacs

[Mike Dewar]

Hi,

The reason that the autoload messages were originally on by default is
historical - the AKCL version of Axiom was painfully slow at loading
code and this provided users with reassurance that something was
actually happening.  When we moved to CCL the loading speed was
significantly increased and we could also pre-load frequently used code
with minimal impact on the image size, so we switched the messages off
by default.

There is a system-wide configuration file: src/inputs/axiom.input which
behaves as you suggest.  The argument against having it in /etc is that
users might have AXIOM on an NFS mounted filesystem so its better to
keep everything together.  This is also why we created the share
directory to avoid having duplicate versions of things.

Cheers, Mike.

On Sun, Sep 28, 2003 at 07:06:07PM +1000, Jason White wrote:
> What are the strongest reasons for not making
> )set message autoload off
> the default? I am sure there must be good reasons, otherwise it would
> have been done.
> 
> A more generalized solution would be to allow for a system-wide
> configuration file as well as a local .axiom.inputs file under each
> user's home directory, with the local configuration overriding
> settings in the system-wide file (e.g., /etc/axiom.input) under Unix;
> suitable locations under other operating systems.
> 
> With apologies in advance if this has all been discussed and settled
> long ago, or if there is a relevant feature of the software that I am
> missing.
> 
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://mail.nongnu.org/mailman/listinfo/axiom-developer
> 
> ________________________________________________________________________
> This e-mail has been scanned for all viruses by Star Internet. The
> service is powered by MessageLabs. For more information on a proactive
> anti-virus service working around the clock, around the globe, visit:
> http://www.star.net.uk
> ________________________________________________________________________

________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________