awk と gawk の違い

知らない人は何となく喉に魚の骨がしかも鯉濃...

でも心配なしここのサイトに解答があります。

gawkがインストールされているならgawkを使っとけば
間違いないということです。

時間取得とsortが追加という点で気にはなりましたが、、、
strftimeやsortはawkでもできるので、はい。
linux(GNU)だからかな？まぁよくわからないが出来るなら
それに越したことないから気にしない事にする。