> I would expect these links to go to gawk. > > This may be a bug in update-alternatives though. mawk is preferred because it's quicker. Or isn't that what you mean. -- Erick Branderhorst@heel.fgg.eur.nl +31-10-4635142 Department of General Surgery (Intensive Care) University Hospital Rotterdam NL