stat から更新時間を取得する

Awk question からですが、要するに stat コマンドの結果から更新時間を取得したいということです。 stat コマンドの出力結果は以下のような感じです。

$ stat blis.cgi
  File: `blis.cgi'
  Size: 35119           Blocks: 72         IO Block: 4096   通常ファイル
Device: fd00h/64768d    Inode: 9192195     Links: 1
Access: (0755/-rwxr-xr-x)  Uid: (  501/hi_saito)   Gid: (  501/hi_saito)
Access: 2008-08-20 11:18:51.000000000 +0900
Modify: 2008-07-20 19:40:25.000000000 +0900
Change: 2008-08-07 00:51:12.000000000 +0900

なんか回答が冗長になってしまっている感があるので、ここはサクサクと awk で片付けたいところです。

$ stat blis.cgi | awk '/Modify/{print gensub(/(.+)\.(.+)/,"\\1",1,$3)}' # gawk
19:40:25
$ stat blis.cgi | awk '/Modify/{sub(/\..+$/,"",$3);print $3}' # nawk
19:40:25

もっとも環境変数 TZ の考慮をしていませんが、元々の質問も考慮をしていないので、これで十分ではないでしょうか?

tag_nawk.pngtag_nawk.pngtag_nawk.pngtag_nawk.png