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

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

On 14.09.05, John E. Davis wrote:
> Joerg Sommer <joerg@xxxxxxxxxxxx> wrote:
> >But we have one big problem: How to add an commandline option without
> >patching command_line_hook() in site.sl. Is it possible for an user to
> >add a command line option that is handled by a script in its .jedrc?
> 
> Consider:
> 
>    grep -l foo *.c | jed --stdin-files
> 
> where stdin_files is defined in the .jedrc
...

Does this mean that `jed --some-fun` is a shortcut for `jed -f some_fun` ?
This would be good news.

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>.