new version of home-lib

G. Milde g.milde at web.de
Thu Sep 22 10:52:08 UTC 2005


On 21.09.05, Jörg Sommer wrote:
> G. Milde schrieb am Tue 26. Jul, 11:27 (+0200):
> > 
> > With home-lib 1.1, registering site-lib could be done in jed.conf as
> > 
> >   require("home-lib", "/usr/share/jed/site-lib/home-lib.sl");
> >   register_libdir("usr/share/jed/site-lib"));
> 
> I think, this is OK.

I wonder, whether the mandatory evaluation of ini.sl in register_libdir() 
[now add_libdir(); append_libdir()] can create problems and should be
dropped. -> Explicit is better than implicit. 

 
> 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).

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:


% Jed_Home_Directory (defined in site.sl, defaulting to $HOME)
% 
% If a subdir .jed/ exists, point Jed_Home_Directory there, 
% so .jedrc and .jedrecent are not spoiling the $HOME dir
$1 = path_concat(Jed_Home_Directory, ".jed");
if ( 2 == file_status($1) ) {
   Jed_Home_Directory = $1;
   Default_Jedrc_Startup_File = path_concat($1, "jed.rc");
}


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).


I would like to do this, but I am unsure whether others would
complain about broken compatibility.
(Of course the Debian startup doc would need to be adapted.)

Guenter

-- 
G.Milde web.de



More information about the Pkg-jed-devel mailing list