Editor_nox is defined (and documented) in ~config/base.ijs NB. Editor_nox external editor program (without X), used in Linux only
On Fri, Feb 11, 2011 at 6:48 AM, Brian Schott <[email protected]> wrote: > Ok. Thank you. > > On Thu, Feb 10, 2011 at 12:44 PM, Eric Iverson <[email protected]> > wrote: >> jhs_default.ijs configures jhs as to which port is serves and other details. >> This is the critical config for jhs. It is not particular to jum, although >> each jum user in turn has his own config. >> >> I believe base.cfg is part of jgtk config and is not used directly by jhs. >> Similarly for _nox. >> > ---------------------------------------------------------------------- > For information about J forums see http://www.jsoftware.com/forums.htm > ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
