Mike Frysinger wrote: > there is no requirement that `awk` be GNU awk. Says who? We always and everywhere take advantage of all the GNU tools and extensions. This has always been the case for all the tools. -- â§ Ulrich Drepper â§ Red Hat, Inc. â§ 444 Castro St â§ Mountain View, CA â