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

["John E. Davis" <davis@xxxxxxxxxxxxx>]

G. Milde <g.milde@xxxxxx> wrote:
>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.

You can also put the following in your /etc/jed.conf:

   define skip_debian_init () {}
   #ifeval length(where(__argv=="--skip-debian-init"))
   #stop
   #endif

Then if you start-up jed via

   jed --skip-debian-init ....

the above "stop" will get triggered.   The "skip_debian_init" function
is necessary because the command line hook will map
"--skip-debian-init" to a function called "skip_debian_init" and then
call it.

--John
   

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