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

[Joerg Sommer <joerg@xxxxxxxxxxxx>]

"John E. Davis" <davis@xxxxxxxxxxxxx> wrote:
> Joerg Sommer <joerg@xxxxxxxxxxxx> wrote:
>>> in your .jedrc file, and then run `jed --batch`.  Now create a script,
>>> e.g., /tmp/foo that contains:
>>>
>>>   #!/usr/bin/env jed-script
>>>   vmessage ("jed-script running: BATCH=%d", BATCH);
>>
>>Interesting. Really interesting.
>
> If jed.conf does something that it should not in batch or script mode,
> then it should be modified to perform such operations in a conditional
> manner, e.g.,

What if jed.conf should not do things in normal mode? One way would be a
commandline option. How to catch this in jed.conf and make jed do not
open a buffer --command-line-option?

-- 
> Definiere "Demokratie"...
... eine Mehrheit beweist einer Minderheit, dass Widerstand zwecklos ist.

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