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