And actually when I read the man page more closely, I do see that "args" is listed as an alias for "command" so that is not undocumented either.
kre
And actually when I read the man page more closely, I do see that "args" is listed as an alias for "command" so that is not undocumented either.
kre