Hans Paijmans wrote: > dan blijkt dus dat (g)awk is vervangen door iets dat mawk heet. Waarom zou dat moeten gebeuren? De rationale erachter laat me benieuwen.