On Mon, 2021-10-04 at 02:21 +0200, Guilhem Moulin wrote: > I don't recall why I used mawk in > b0b8e3e88fecf2f8f5f5a3ad39b68e56a9e53427, > but it might be simply because it was advertized as “smaller and much > faster than gawk” in addition of being ‘Priority: required’. Fair > enough, exectution speed is probably irrelevant for an interactive > completion script :-)
Hmm I wonder then, why gawk has higher priority than makw in the alternatives system. Maybe one should suggest them to change that if it's really faster. Cheers, Chris.