[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: in debian, awk is mawk not gawk



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 --display awk
awk - status is auto.
 link currently points to /usr/bin/mawk
/usr/bin/gawk - priority 10
 slave nawk: /usr/bin/gawk
 slave awk.1.gz: /usr/share/man/man1/gawk.1.gz
 slave nawk.1.gz: /usr/share/man/man1/gawk.1.gz
/usr/bin/mawk - priority 20
 slave nawk: /usr/bin/mawk
 slave awk.1.gz: /usr/share/man/man1/mawk.1.gz
 slave nawk.1.gz: /usr/share/man/man1/mawk.1.gz
Current `best' version is /usr/bin/mawk.

# update-alternatives --config awk

There are 2 programs which provide `awk'.

  Selection    Command
-----------------------------------------------
      1        /usr/bin/gawk
*+    2        /usr/bin/mawk

Enter to keep the default[*], or type selection number: 1
Using `/usr/bin/gawk' to provide `awk'.

# awk --version | head -1
GNU Awk 3.1.0

#


Another solution :

# apt-get remove --purge mawk


Seems right to me, anyways, that 'awk' is provided by "mawk" whereas
'nawk' is provided by "gawk".  At least, from reading the "History"
part of the GNU Awk Manual that seems to make a lot of sense.

-D

-- 

"...In the UNIX world, people tend to interpret `non-technical user' as
meaning someone who's only ever written one device driver."
    --Daniel Pead
 
http://dman.ddts.net/~dman/

Attachment: pgpjchzRTNToa.pgp
Description: PGP signature


Reply to: