|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
|
Re: [PLUG] Ubuntu mawk instead of gawk
|
On Tue, Sep 09, 2008 at 07:30:57PM -0400, Matthew Rosewarne wrote:
> Well, when it comes to dash/bash, it really does make a significant difference
It makes a difference with mawk/gawk too:
"Mawk's primary advantages are its speed and robustness.
Although it has fewer features than gawk, it almost always
outperforms it." (p. 272)
-- sed & awk, Second Ed. (O'Reilly)
Dale Dougherty & Arnold Robbins
> I believe [mawk is the awk] version Debian uses by default too.
It does, and it has for a long time.
-Dave
--
David A. Harding Website: http://toomuchmedia.com/
Technical Writer Email: david.harding@toomuchmedia.com
Too Much Media AIM: tmmharding
Phone: (732) 385-1535 x1125
___________________________________________________________________________
Philadelphia Linux Users Group -- http://www.phillylinux.org
Announcements - http://lists.phillylinux.org/mailman/listinfo/plug-announce
General Discussion -- http://lists.phillylinux.org/mailman/listinfo/plug
|
|