NB for an easier reproducer on eoan without requiring a reinstall, you can use 'sudo update-alternatives --config awk' to change the target of /usr/bin/awk to mawk.
NB for an easier reproducer on eoan without requiring a reinstall, you can use 'sudo update-alternatives --config awk' to change the target of /usr/bin/awk to mawk.