[Pkg-jed-devel] Re: jed-extra.deb

[Guenter Milde]

On 10.03.05, Rafael Laboissiere wrote:
> 
> * Guenter Milde <g.milde@web.de> [2005-03-10 13:25]:
> > On 10.03.05, Paul Boekholt wrote:
> > > On Wed, 9 Mar 2005 16:18:02 +0100, Rafael Laboissiere <rafael@debian.org> said:
> > 
> > The main advantage of an jed-extra package is in my opinion the setup of
> > a basic system for extensions (i.e. Jed_Site_Lib and Jed_Home_Lib
> > directories).
> 
> I am already working on this.  In my current design, the package
> installs all the necessary autoloads and add_completions

Are you using make_ini.sl? There is a new bugfix version at Jedmodes.

Also, automatic documentation extraction is coming soon with the release
of tm.sl...

However, currently make_ini() doesnot add add_completions (as there is
a limit to the number of completions which could be exceeded easily :-(
 

> > Having an installer-mode (with download and installation of modes from
> > within jed) would be a nice thing too.
> 
> The problem with this is that it is not orthogonal with the Debian
> packaging.  If the jed-extra is kept reasonably updated, then I think it
> will be okay for the Debian users.

To make this orthogonal, we might need one more jed library dir:

  JED_ROOT/lib       the package default library
  Jed_Debian_Lib     the debian specific extension library
  Jed_Site_Lib       the sitewide extension library
  Jed_Home_Lib	     the user local extension library

Debian Packages would be free to place additional modes into
Jed_Debian_Lib. This could extend the "/etc/jed-init.d/" feature (or
even replace it) especially for files that do not need to be evaluated
at every jed startup.

The libraries will be searched in reverse order (of my listing), i.e.
with the most local one first. This way we would keep the orthogonality
of Debian provided modes and local downloads. Of course, a user or
sysadmin that installed modes from Jedmodes will have to be aware, that
the local version masks the Debian-provided one (and should eventually
be removed when jed-extra got the same or higher version). However, this
should be common knowledge, as it is the same for default modes.

(BTW: configuring jed should preparse the files in "/etc/jed-init.d/"
to speed up the jed startup.)

Günter

-- 
G.Milde web.de