Gawk 4.0.0 Now Available にあるように gawk 4.0.0 がリリースされ、gawk も大きな変化を迎えています。 そこで、gawk 4.0.0 の変更点をできるだけサンプルを使って、おさらいしておきます。 /dev/pid, /dev/ppid, /dev/pgrpid, /dev/user の廃止 /dev/pid, /dev/ppid, /dev/pgrpid, /dev/user はそれぞれ、プロセス ID、親プロセス ID、プロセスグループ ID、ユーザー ID を示し、今までは以下のようにしても取得することができました。 例えば、プロセス ID を取得する場合には以下のようにできます。 #! /usr/local/bin/gawk -f # pid_old.awk BEGIN { while (getline < "/dev/pid" > 0) { p