なぜだかgawkが初期設定ではインストールされていないことが多い。そして、いつもうっかり忘れてawkコマンドが通らずびっくりします。備忘録として今の環境のawkが何であるのか調べるコマンドです。
sudo dpkg -l でインストール済みの全てのパッケージが表示されます。余りに長いのでgrep で検索しています。
そして sudo apt install gawk でgawk をインストールしました。実際には、この状態で mawk も使えるのですが、シンボリックリンクの繋ぎ変えが行われているようです。