Re: command-line-args

[Richard Stallman]

    That was not intended.
    I'm not sure how best to get both behaviors.

    What do people think of a patch like the one below ?

To me it seems cleaner always to use command-execute.
It the difficulty of coping with this is substantial,
then maybe we should make a change like the one you propose.
But if it is easy for users to adapt to the current behavior,
then let's not make this change.

I think it is easy to adapt, but I'm willing to be shown
that it's not easy.