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

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

G. Milde <g.milde@xxxxxx> wrote:
>Does this mean that `jed --some-fun` is a shortcut for `jed -f some_fun` ?
>This would be good news.

Yes, for quite some time:

Changes since 0.98beta 
[...]
   8. If a command line argument begins with `--', jed will attempt to
      match the remaining part of the argument to a function and
      execute the function.  It will also replace all `-' characters
      by `_' before doing so.  For example, I have a function called
      `no_fold' that sets Fold_Mode_Ok to 0.  I can call this function
      from the command line as `jed --no-fold'  That is, 
      `jed -f BLA_BLA_BLA' is now equivalent to `jed --BLA-BLA-BLA'.

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