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

in debian, awk is mawk not gawk

2002-06-18 Thread Dan Jacobson
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. I'm worried that the scripts that I've been writing for years and years will break. So I installed gawk. However unlike when one installs p