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

[Jose E. Marchesi]

         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.
    
    
    I see your point of view.  However it's not particularly useful to
    have "./run" doing - absolutely nothing.

Thats good: I can confidently feed any line and expect the same behavior
than if I wasn't using `run'.  This includes to get nothing if I pass
nothing.