jed-users mailing list

[2005 Date Index] [2005 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

RE: organizing extension modes -- feature request


> -----Original Message-----
> From: G. Milde
> Sent: giovedì 19 maggio 2005 16.31
> Subject: organizing extension modes -- feature request
> 
> On 28.04.05, SANGOI DINO wrote:
> 
> > 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 :-)).
> 
> Dear John,
> 
> could we include a copy of home-lib.sl into the next release of jed? 
> 

As I said before, it would be very nice to have this in the stock JED
distribution. It eases a lot the handling of external modes.

I'm using it both on Unix and Windows. I have tried the latest release, and
works well, but in windows needs a very small patch:

Index: home-lib.sl
===================================================================
--- home-lib.sl	(revision 39)
+++ home-lib.sl	(working copy)
@@ -129,7 +129,7 @@
      Jed_Local_Library = "";
    else
      Jed_Local_Library = path_concat(path_concat($2, path_basename($3)), 
-                                     "Jedsoft\JED\lib");
+                                     "Jedsoft\\JED\\lib");
 #else
      Jed_Local_Library = "/usr/local/share/jed/lib";
 #endif

(yes, choosing '\' as path separator was a big mistake, but not the worst
done by microsoft...)

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


[2005 date index] [2005 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]