Debian系ディストロでデフォルトのawkを切り替える
最近のDebian系ディストロだとデフォルトではgawk(GNU awk)が使用される
これをよりPOSIXに近く高速なmawkに切り替える
code:sh
# mawkをインストール
sudo apt update
sudo apt install mawk -y
# 対話的に切り替え
sudo update-alternatives --config awk
ついこの間まではUbuntu系はgawk,Debian系はmawkのイメージだったけど最近はどうも違うらしい
参考
https://x.com/i/grok/share/3mV9hXwlhhBvIhPXghcIFNo39
#awk #備忘録 #linux