"Neal Kreitzinger" [off-list ref] writes:
"Matthieu Moy" [off-list ref] wrote in message
news:vpqd3u53sd2.fsf@bauges.imag.fr...
quoted
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"?
"call" would suggest a function or command, but here, you can give
something more elaborate like
exec cd "some directory"; make
so I prefer the "exec/x" version.
--
Matthieu Moy
http://www-verimag.imag.fr/~moy/