Re: Re: RE: Ignore_Beep doesn't

[Guenter Milde <G.Milde@xxxxxxxxxxxxxxxxxxxx>]

On Sat, 30 Mar 2002 09:31:05 +0100 wrote ks <klaus.schmid@xxxxxx>:

> 
> ----- Original Message -----
> From: "John E. Davis" <davis@xxxxxxxxxxxxx>
> To: <jed-users@xxxxxxxxxxx>; "Charl P. Botha" <c.p.botha@xxxxxxxxxxxxxx>;
> <jed-users@xxxxxxxxxxx>
> Sent: Saturday, March 30, 2002 12:53 AM
> Subject: Re: RE: Ignore_Beep doesn't
> 
> 
> > I think that it is better to use a script such as the one attached
> > below to create a file of autoload statements.  If a function is given
> > the public attribute, an autoload statement will be generated for it.

This is basically a more concise (and faster) but less configurable
way of what my library initialization module make_ini.sl from the
jed-modes-repository does. A brand new version is at

http://jedmodes.sourceforge.net/mode/make_ini/0.9/download/make_ini.sl


> This would help a lot: dependencies, loading overhead, availability.
> Only a small drawback IMHO: adding and removing a file in the user
> script library would require to push on the autoload update script
> by hand.


This is the automation vs. efficiency and user-control issue. If issuing an
update command after each change is too cumbersome, you could make the
updating a regular task (a chron job under unix). (and if it is needed quite
often from inside jed, a keybinding and a menu topic might help).

Guenter

--
G.Milde@xxxxxxxxxxxxxxxxxxxx


--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.