Hi,

I noticed ksh has (new) pgrep builtin, but it's not drop-in replacement for original pgrep. These options seem to be missing:

-u, --euid euid,...
Only match processes whose effective user ID is listed. Either the numerical or symbolical value may be used.

-U, --uid uid,...
Only match processes whose real user ID is listed. Either the numerical or symbolical value may be used.

Could you add them too?

Michal
_______________________________________________
ast-developers mailing list
[email protected]
http://lists.research.att.com/mailman/listinfo/ast-developers

Reply via email to