Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

EDT mode

4 views
Skip to first unread message

C.W.Holeman II

unread,
Jul 22, 2007, 2:12:21 AM7/22/07
to
In the current directory I have this jed.rc file:

require ("edt");
require ("keydefs");
variable NUMLOCK_IS_GOLD = 1;
unsetkey ("^H");
setkey ("bol", "^H");

I invoke JED with:

"C:\Program Files\JED\bin\wjed.exe"

Should this put me in EDT mode?

Jed 0.99.18

--
C.W.Holeman II | cw...@Julian5Locals.com-5 http://JulianLocals.com/cwhii
To only a fraction of the human race does God give the privilege of
earning one's bread doing what one would have gladly pursued free, for
passion. I am very thankful. The Mythical Man-Month Epilogue/F.P.Brooks

John E. Davis

unread,
Aug 1, 2007, 3:40:10 PM8/1/07
to
On Sat, 21 Jul 2007 22:12:21 -0800, C.W.Holeman II <cwhii_go...@yahoo.com>
wrote:

>In the current directory I have this jed.rc file:
>
> require ("edt");
> require ("keydefs");
> variable NUMLOCK_IS_GOLD = 1;
> unsetkey ("^H");
> setkey ("bol", "^H");
>
>I invoke JED with:
>
> "C:\Program Files\JED\bin\wjed.exe"
>
>Should this put me in EDT mode?

Yes, assuming that the file actually gets loaded. I suspect that
$JED_ROOT/lib/jed.rc is what really gets loaded unless you have
taklen steps to force jed to look for files in the current directory
first.

If you want EDT emulation, then you should create a directory, e.g.,

C:\home

and place your jed.rc in that directory. Then in your autoexec.bat
file, define a JED_HOME environment variable that is set to this
value, i.e.,

set JED_HOME=C:\home

--John

0 new messages