> Currently, mawk is priority required while gawk is priority > optional. So mawk is installed by default while gawk isn't. However, > if gawk is installed, it becomes the default awk because it has a > higher alternatives priority than mawk. (The reason mawk has a lower > priority, according to its changelog, is that mawk is unmaintained > upstream and has bugs.)
JFYI: After more than a decade of stagnation mawk now has a maintainer. Huge amount of work were done during last few years. http://freshmeat.net/projects/mawk/ -- Best regards, Aleksey Cheusov. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
