FW: organizing extension modes

[SANGOI DINO <SANGOID@xxxxxxxxxxxxxxxxx>]

> From: G. Milde
> Sent: martedì 26 aprile 2005 11.06
> Subject: organizing extension modes
> 
> Dear jed users,

[SNIP]

> My suggestion would be to expand the set to 3 Variables
> 
>   Jed_Site_Library   for category 2 (default "JED_ROOT/site-lib")
>   Jed_Local_Library  for category 3 (default "/usr/local/share/jed/lib")
>   Jed_Home_Library   for category 4 (default "~/.jed/lib")
> 
> All library directories will be tested for presence, if not present, 
> the variable becomes "".
> 
[SNIP]
> I suppose on Windows, the defaults should be somewhat different, and 
> maybe Jed_Local_Library (or Jed_Site_Library) will not be needed. 
> (Window users, please advise)

For recent windows, something like:

path_concat(path_concat(path_concat(path_concat(getenv("ALLUSERSPROFILE"),
path_basename(getenv("APPDATA"))), "Jedsoft"), "JED"), "lib")

(uff)

Should work for Jed_Local_Library. ALLUSERSPROFILE and APPDATA are set both
in Windows 2000 and 2003, if not set we can leave this variable empty.

Jed_Site_Library set as "JED_ROOT/site-lib" is ok.

Right now I have on my .jedrc:

require("home-lib", path_concat(path_concat(Jed_Home_Directory, ".jed"),
"home-lib.sl"));

I can add home-lib to my installer, and enable it from defaults.sl, but It
would be a lot better to have it in the standard jed package (hint, hint
:-)).

Thanks,
						Dino



--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.