new version of home-lib

Jörg Sommer joerg at alea.gnuu.de
Wed Sep 21 19:19:22 UTC 2005


Hallo G.,

G. Milde schrieb am Tue 26. Jul, 11:27 (+0200):
> 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.
> 
> 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 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.

How do you think about supporting .jed/jedrc or jed.rc? I don't like
hidden config files in subdirectories.

>   $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?

No, we should not put a file in /etc/skel, because than every user has a
.jedrc, which might not be very wise. But we can put it in examples/.

Schöne Grüße, Jörg.
-- 
Objektivität ist die Wahnvorstellung, Beobachtungen könnten ohne
Beobachter gemacht werden - Heinz v. Foerster
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 481 bytes
Desc: not available
Url : http://lists.alioth.debian.org/pipermail/pkg-jed-devel/attachments/20050921/a810fc3e/attachment.pgp


More information about the Pkg-jed-devel mailing list