David A. Harding on 10 Sep 2008 17:32:51 -0700

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

Re: [PLUG] Ubuntu mawk instead of gawk

On Wed, Sep 10, 2008 at 04:00:44PM -0400, JP Vossen wrote:
> I guess I forgot that I manually installed gawk too.

Instead of installing it manually, you probably just install a program
that depends on it.  That's what I end up doing:

    $ apt-cache rdepends gawk \
	    | fgrep -xf  <( dpkg --get-selections | awk '{print "  " $1}' )

Once you install gawk on Debian, it becomes your /usr/bin/awk.


P.S.  "Dict is an essential Debian system administration tool" -- I
      can't wait to tell someone that and have them gawk at me.
David A. Harding	    Website:  http://dtrt.org/
1 (609) 997-0765	      Email:  dave@dtrt.org
			Jabber/XMPP:  dharding@jabber.org
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