new version of home-lib

[G. Milde]

On 30.09.05, Jörg Sommer wrote:
> Hallo G.,
> 
> G. Milde schrieb am Thu 22. Sep, 12:52 (+0200):
> > On 21.09.05, Jörg Sommer wrote:
> > > How do you think about supporting .jed/jedrc or jed.rc? I don't like
> > > hidden config files in subdirectories.
> > 
> > I would prefer ~/.jed/jed.rc (jedrc would become the third name for
> > the configuration file).
> 
> I read, we must use this form, because the new FHS recommends this.

This makes it urgent.

> > Support for this could be done easily, if we drop the backwards
> > compatibility for users that set up ~/.jed/ but do not move their
> > ~/.jedrc:
> 
> Because the FHS recommends the configuration file in the directory, we
> should really drop it.
> 
> > This way JED would look for ~/.jed/.jedrc and then ~/.jed/jed.rc but
> > never for JED_ROOT/lib/jed.rc (which is what we want).
> 
> And what about ~/.jedrc?

At startup, JED (under UNIX) looks for:

    path_concat(Jed_Home_Dir, ".jedrc")
    Default_Jedrc_Startup_File OR expand_jedlib_file("jed.rc")


If ~/.jed/  exists, ~/.jedrc is not found (as Jed_Home_Dir is set to ~/.jed).
Default_Jedrc_Startup_File is now set to "~/.jed/jed.rc", so this is found
instead.

If a user has no ~/.jed/ directory, JED still looks for ~/.jedrc.


The point to remember is: If a user creates a "~/.jed/" directory, he/she
must move ~/.jedrc to ~/.jed/jed.rc (~/.jed/.jedrc is still found but
deprecated).


Guenter



-- 
G.Milde web.de