Re: in debian, awk is mawk not gawk

2002-06-18 Thread Derrick 'dman' Hudson
On Tue, Jun 18, 2002 at 09:59:21PM +0800, Dan Jacobson wrote: | debian world, awk is mawk. | So I installed gawk. However unlike when one installs postfix, and | exim gets kicked out, mawk is unphased and still what one gets if | one types "awk". So? One solution : # update-alternatives --di

Re: in debian, awk is mawk not gawk

2002-06-18 Thread Bob Proulx
> It seems I would have to got to /etc/alternatives and rip it up and > point it over by hand. That confused me too when I first tried debian. But then I learned that the 'debian way' is to use update-alternatives to manage the alternatives links. update-alternatives --display awk update-al

Re: in debian, awk is mawk not gawk

2002-06-18 Thread Colin Watson
On Tue, Jun 18, 2002 at 09:59:21PM +0800, Dan Jacobson wrote: > Back when I used some other leading brand of GNu/Linux, boys were > boys, girls were girls, and awk was gawk. Now switching to the > debian world, awk is mawk. Didn't we go over this, including contributions from the maintainer, jus