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? -- 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