REPLY: 2:230/0 63055ebf   
   MSGID: 1:153/7001.64182 63057739   
   CHRS: UTF-8 4   
   TZUTC: -0000   
   Hey Benny!   
      
    MK>> In conclusion, gawk is good.   
      
    BP> so why use awk ? :=)   
      
     $ readlink /usr/bin/awk   
     gawk   
      
   It's the same thing here as well as many other distributions (eg slackware).    
   Only the MS-think types (eg Debian) use mawk.  The heathen bastards!!!   
      
   Besides gawk is GNU and is vastly superior to mawk.   
      
   What is gentoo's default awk?   
      
   Life is good,   
   Maurice   
      
   ... Wyrd oft nereð unfægne eorl þonne his ellen deah.   
       Fate often saves an undoomed man, when his courage is good.   
   --- GNU bash, version 5.1.16(1)-release (x86_64-bitskii-linux-gnu)   
    * Origin: One of us @ (1:153/7001.64182)   
   SEEN-BY: 1/123 15/0 90/1 103/705 105/81 106/201 114/709 120/340 123/131   
   SEEN-BY: 124/5016 129/305 331 134/100 153/135 141 757 7001 7715 154/10   
   SEEN-BY: 203/0 218/700 221/0 6 227/114 229/111 112 113 206 317 400   
   SEEN-BY: 229/424 426 428 452 470 550 616 664 700 240/5832 266/512   
   SEEN-BY: 267/67 280/464 5003 282/1038 292/854 8125 301/1 310/31 317/3   
   SEEN-BY: 320/219 322/757 341/66 234 342/200 396/45 423/120 460/58   
   SEEN-BY: 633/267 280 281 384 410 412 416 418 420 509 712/848 770/1   
   SEEN-BY: 2452/250 5020/545   
   PATH: 153/7001 757 280/464 633/280 229/426