update of jed-extra

[G. Milde]

Dear Jörg,

thank you very much for your efforts with jed-extra. 

Unfortunately, I was too fuzzy in my boosting that the jedmodes modes are
SLang2 safe now.

  * I can only speak for my own modes
  
  * The last "release" is pretty old and predates this changes

Some time ago I mailed Rafael advising to fetch the files for jed-extra
via CVS (see http://jedmodes.sourceforge.net/doc/jedmodes-cvs.html). I am
afraid this message did not reach you...
  
I just updated http://jedmodes.sourceforge.net/cvs/jedmdoes.tgz and
did a new "release" of the files from the Jedmodes CVS repository.
Quite a lot of the files by Paul Boekholt are now no longer in the CVS
and must be fetched separately.  


On 30.06.05, Jörg Sommer wrote:

> firstly I must say the provided files of jedmodes.sf.net are dirty!

What do you mean with provided files? jedmodes.sf. is quite heterogen, with
files provided by several different developers. The primary inteded use
is browsing the site and downloading individual modes.

The jedmodes.tar.gz "Release" exists mainly because Sourceforge will shut
down the site if there are no file releases though the Sourceforge
release system...

> No makefile, 

What kind of makefile should this be?

> no copyright notice (this might cause trouble with Debian)

There is a copyright notice on the site, as well as in most of the
individual files (except rather old ones).

> and no README or something similar.

Added one to the latest jedmodes.tgz (but not yet in the release).
 
> I have some problems/questions:
> 
> * should apsmode/apsconf/SLang.ssh go to /usr/share/a2ps/sheets/? Is it
>   the same like a2ps/slang.ssh?

apsmode and a2ps are distinct modes (by different developers) that
happen to do similar things. Please do not confuse.

> * where should *.hlp files go? currently I installed them in
>   /u/s/j/site-lib/. Maybe they can go into a subdirectory site-lib/hlp/
>   or in /usr/share/doc/jed-extra.

Please leave them in site-lib. This mirrors the way John handles help
files (having them in JED_ROOT/lib) and enables retrieving them with
expand_jedlib_file().

> * why does the old version of 05home-lib.sl take care of site-lib?

home-lib.sl initializes both, home-lib and site-lib. The name is for
historical reasons, as Jed_Site_Library (and Jed_Local_Library) where
added later.

Instead of copying home-lib.sl to jed/init.d, a file (lets call it
05register-libraries.sl) would evaluate it

  () = evalfile("/usr/share/jed/site-lib/home-lib.sl");
  
This way, a precompiled version could be used.  

I still recommend moving home-lib.sl to jed-common (as a Debian patch).
Instead of a init.d file, the above command could then be inserted to
/etc/jed.conf.

> * why is /etc/jed-init.d in /etc? It's not really configuration stuff.
>   Isn't it better placed in /usr/share/jed/init.d/?

If you expect only Debian packages to put files into init.d, moving it
might be ok. If you will also allow the administrator to place files
there (instead of modifying jed.conf), leave in /etc/

Günter


-- 
G.Milde web.de