"Neal Kreitzinger" <neal@xxxxxxxx> writes: > "Matthieu Moy" <Matthieu.Moy@xxxxxxxxxxxxxxx> wrote in message > news:vpqd3u53sd2.fsf@xxxxxxxxxxxxxxxxx >> Marc Branchaud <marcnarc@xxxxxxxxxxx> writes: >> >>>> 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/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html