lör 2020-12-26 klockan 11:12 -0800 skrev Paul Eggert:
> On 12/26/20 10:49 AM, Bruno Haible wrote:
> > > It would be nice to reduce that set of tools.
> > Well, both 'cmp' and 'diff' are part of POSIX:
> 
> Even awk is on that list, and it's much fancier than cmp or diff. And
> I wouldn't support removing awk either, as it's a handy tool in
> Makefiles when the shell isn't up to a text-processing task.

Okay, let's wait ten years and revisit that :-)

I believe awk will be more of a rarity in the future.

> Looking at that list now, the only obvious tool to remove is egrep, 
> since 'grep -E' subsumes it nowadays.

Yes, I think that should be dropped.

What about 'install-info'?  It is quite GNU-specific.  Nothing in
gnulib appears to refer to it (except for the make-stds manual..).

/Simon