jed-extra: sorting of files into library dirs

G. Milde g.milde at web.de
Wed Oct 12 13:59:06 UTC 2005


On 11.10.05, Jörg Sommer wrote:
> G. Milde schrieb am Tue 11. Oct, 15:51 (+0200):

> > the non-interactive, non interfering installation of jed-extra
> > requires the upstream files to be sorted into several library
> > directories.
> In which directories? I do not understand what you mean.

My considerations in README.Maintainer were:

Where should the modes go?
--------------------------

* Generally, modes should go to the `jed-extra library directory` ::

        /usr/lib/jed-extra/

  (Alternatives: /usr/share/jed/site-lib/, /usr/share/jed/jed-extra-lib/)
  
  The `jed-extra library directory` should be appended to the search path
  with append_libdir() from libdir.sl in jed.d/50jed-extra.sl. This way
  the performance impact on searches in the libdir or documentation is
  kept minimal.


* Some modes are drop-in replacements. Placing them in the jed_library_path
  would either
   
  a) make their use obligatory for all users if the libdir is *added*, or
  b) prevent their use if the libdir is *appended*.

  Drop-ins should therefore go to a separate dir, say ::
  
        /usr/lib/jed-extra/drop-in/
  
  added to the library path in 50jed-extra.sl.
  
  * The default behaviour would be to use the drop-ins if jed-extra
    is installed
  * A sysadmin can easily comment out the activation of drop-ins
  * A user can remove the drop-in/ dir from the library path in jed.rc
    (a function remove_libdir() in libdir.sl could assist)  
  * Fine-grained activation of drop-ins is possible by copying or symlinking
    of individual modes to a users (or local) libdir.



Alternatively, all files could go to /usr/lib/jed-extra/ and the dir be
*added* in 50jed-extra.sl with a comment a'la::

  % prepend the library directory to the library path 
  % -> identically named files (drop ins) will take precedence
  add_libdir("/usr/lib/jed-extra/");
  
  % append the library directory to the library path
  % -> Drop in files will not replace the standard versions.
  %    They can be evaluated by giving the full path in require() or
  %    evalfile()
  % append_libdir("/usr/lib/jed-extra/");


> >   I could provide a slang script that does this based on a list of modes
> > (now in README.Maintainer). Alternatively, this sorting could be done in the
> > rules file. However, I have no experience with rules files and thus would be
> > very inefficient in modifying it.
> 
> The rules file is a simple make file, nothing more.

I already guessed. However, I never worked with a make file :-(
 

Guenter 

-- 
G.Milde web.de



More information about the Pkg-jed-devel mailing list