Hi, Henrik
May be jesstab.properties file would be useful for this and other purposes?
Sincerely,
Ru
----- Original Message -----
From: "Henrik Eriksson" <[EMAIL PROTECTED]>
To: <[EMAIL PROTECTED]>
Cc: <[EMAIL PROTECTED]>
Sent: Thursday, August 09, 2001 3:44 PM
Subject: JESS: Re: JessTab: startup batch file
> Hi Oliver,
>
> Yes I did consider something like this, but I did not implement it because
> it was not clear at the time (at least to me) exactly how it should work.
> Some of the issues were: Configurable file name? If so how, do you
> configure it? One startup file for the Protege session or different
> startup files for each project loaded (or both)? Different startup files
> for command-line and interactive (GUI) mode? Directory and naming
> conventions?
>
> If someone could figure out a clean model for startup files, I'll probably
> implement it in the future. (E-mail suggestions to me.)
>
>
> --Henrik
>
>
>
> On Thu, 9 Aug 2001, Oliver Hoffmann wrote:
>
> > Henrik,
> >
> > Did you consider including a way for loadind a JESS batch file in
JessTab
> > at startup? I have used a workaround by chaning the following line in
> > JessTab.java (after line 120):
> > m_main.initialize(new String[] {"C:/MyJessDirectory/MyBatchFile.clp"},
m_rete);
> > but some command line parameter would be the more elegant solution.
> >
> > :) Oliver
> >
> >
> > ----------------------------------------------------------------------
> > To unsubscribe, send email to [EMAIL PROTECTED] with
> > "unsubscribe protege-discussion" in the message body (no quotes).
> > If this doesn't work, contact [EMAIL PROTECTED]
> >
> >
>
>
> ---------------------------------------------------------------------
> To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
> in the BODY of a message to [EMAIL PROTECTED], NOT to the
> list (use your own address!) List problems? Notify
[EMAIL PROTECTED]
> ---------------------------------------------------------------------
>
>
---------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the
list (use your own address!) List problems? Notify [EMAIL PROTECTED]
---------------------------------------------------------------------
