Re: [PATCH] run.in: Default to running the poke binary

[Jose E. Marchesi]

Hi John.

     # Now run the program
    -exec "$@"
    +if test $# -eq 0; then
    +    exec poke
    +else
    +    exec "$@"
    +fi

I don't like this change.  That script has clear semantics as it is now:
set the environment and run the given command-line.  Specializing it
this way may be confusing.