Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [PATCH] completion: add _uids, _gids
dana wrote:
> most tools take either a name or an id for users/groups, but some specifically
> need an id. here are functions for that + updates to use them. and a few
> related/near-by changes
For _ports, we have an option for whether numbers or service names are
required/allowed. -n conflicts with the hidden style so is not the best
choice. I don't especially object to separate functions but it could
lead to uses of _alternatives for both _uids/_users where either are
allowed which would be fairly awful. Same for using _users || _uids. A
single function can handle that better.
Oliver
Messages sorted by:
Reverse Date,
Date,
Thread,
Author