new version of home-lib

[G. Milde]

On 12.07.05, G. Milde wrote:
> On 11.07.05, Jörg Sommer wrote:
> > G. Milde schrieb am Mon 11. Jul, 10:16 (+0200):


I did a cleanup of home-lib to make it smaller, faster and more configurable.


in home-lib 1.1, instead of the old set of custom variables

% "Jed-Directory"           "Jed-Library-Directory"
  JED_ROOT
                            Jed_Site_Library
			    Jed_Local_Library
  Jed_Home_Directory        Jed_Home_Library

now only the "Jed-Directories" are covered:
                            
  JED_ROOT               % standard
  % Jed_Site_Directory   % not yet implemented (is it needed at all?)
  Jed_Local_Directory    % new
  Jed_Home_Directory	 % standard
   
The corresponding libdir is always assumed to be path_concat(..., "lib")

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"));

  % call jed-init.d files
  
  register_libdir(path_concat(Jed_Local_Directory, "lib"));
  
Registration of the personal library dir would be deferred to the users
.jedrc.  


> > I think we should support ~/.jed/. 

So, maybe place in jed.conf

  % If "~/.jed/" exists, point `Jed_Home_Directory' there.
  % Attention! With the code below, Jed looks for .jedrc in "~/.jed/".
  % If you want to have both, ".jed/" and ".jedrc" in HOME, move the lines
  % below to your .jedrc.
  
  $1 = path_concat(Jed_Home_Directory, ".jed");
  if(2 == file_status($1))
    Jed_Home_Directory = $1;
  

Also, should we provide an Debian-specific template .jedrc?
Should it be in /etc/skel?

Günter


-- 
G.Milde web.de