Re: Disable jed.conf (was: Re: Intention of jed-script)

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

"G. Milde" <g.milde@xxxxxx> wrote:
> On  8.07.05, Joerg Sommer wrote:
>> I think it is really necessary to _not_ load jed.conf some times. One
>> time is when jed is called as jed-script and the other situation when a
>> command line option is given, e.g. --no-etc-conf. How do you think?
>
> I'd call this option --no-jed-conf or --no-conf, as it should disable
> defaults.sl as well.

Ah, I see. Well, than -no-jed-conf might be a better name, but I think it
suggests jed do not run any configuration, i.e. no user conf.

Jörg.
-- 
Fuchs' Paradoxon (http://www.bruhaha.de/laws.html):
Wer eine allgemeine Frage beliebigen Themas nach de.alt.arnooo postet und
eine ernsthafte Antwort erwartet, ist dort eigentlich ziemlich ontopic.

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