"Matthieu Moy" [off-list ref] wrote in message
news:vpqd3u53sd2.fsf@bauges.imag.fr...
Marc Branchaud [off-list ref] writes:
quoted
quoted
The name of the command may be subject to discussions. I've chosen
"run", but maybe "shell" would be OK too. In both cases, it doesn't
allow the one-letter version since both "r" and "s" are already used.
"exec" with one-letter "x"?
Thanks, that sounds good, yes. Any other thought?
"call" with one-letter "c"?
v/r,
Neal