command line options (was: Roadmap for 0.99-17)

["G. Milde" <g.milde@xxxxxx>]

On 15.09.05, John E. Davis wrote:
> G. Milde <g.milde@xxxxxx> wrote:
> >   Disabling the evaluation of jed.conf seemed to be the cleanest
> >   solution (especially, as there is already the -n option to disable the
> >   personal configuration file).
> 
> If jed is run via 
> 
>    jed optional-args... -l preparse
> 
> and you do not want jed.conf to be loaded, putting 
> 
>    #ifeval is_substr(strjoin (__argv, " "), " -l preparse")
>    #stop

I did not know about the #stop preprocessor instruction. Is it documented?

>    #endif
>    % rest of jed.conf
>      .
>      .
> 
> should do the trick.

However, this trick solves just my particular example. 

Another example would be testing some newly-developed mode before
uploading it to jedmodes.sf.net. As Debian's start up configuration adds
some autoloads (at least with the debian-extra package installed), I need
to disable it for catching missing dependencies.

However, after I found out that I can set an existing variable with

   jed -f Skip_Debian_Init=1


I think this together with

    #ifeval Skip_Debian_Init
    #stop

would be a good compromise.


Thanks 

Guenter

-- 
G.Milde web.de

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