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

Reply via email to