I would prefer to have a current mawk in Ubuntu, but if that does not happen, replacing mawk with gawk would be appreciated.
I would prefer to have a current mawk in Ubuntu, but if that does not happen, replacing mawk with gawk would be appreciated.