Você pode definir o padrão através do mecanismo update-alternatives, usando o comando
sudo update-alternatives --config awk
por exemplo,
$ sudo update-alternatives --config awk
There are 2 choices for the alternative awk (providing /usr/bin/awk).
Selection Path Priority Status
------------------------------------------------------------
* 0 /usr/bin/gawk 10 auto mode
1 /usr/bin/gawk 10 manual mode
2 /usr/bin/mawk 5 manual mode
Press enter to keep the current choice[*], or type selection number: 2
update-alternatives: using /usr/bin/mawk to provide /usr/bin/awk (awk) in manual mode.
Quando você quiser o gawk, basta invocá-lo como gawk
em vez de awk