update of jed-extra

[G. Milde]

On  8.07.05, Jörg Sommer wrote:
> G. Milde schrieb am Thu 07. Jul, 11:47 (+0200):
> > On  6.07.05, Jörg Sommer wrote:
> > > G. Milde schrieb am Wed 06. Jul, 12:39 (+0200):
> > > > You convinced me. Maybe it could be a compromise, providing the register
> > > > function and sensible defaults for Jed_Home_Library, Jed_Local_Library
> > > > and Jed_Site_Library.
> > > 
> > > What's the advantage of having Jed_Home_Library, Jed_Local_Library oder
> > > Site_Library? 
> > 
> > This are custom variables, if you use the default values, you do not
> > need to bother about the details.
> 
> But what should I do with this variables? I see no profit of this? What
> can the debian startup scripts gain with this directories?

Of course, Debian startup can easily use the hard wired paths, however
the abstraction layer provided by this enables portable user-scripts much
like JED_ROOT. (After all, what is the profit of JED_ROOT as on Debian it
is always "/usr/share/jed"?


Günter



-- 
G.Milde web.de