実際のところ
shuzo-kino.hateblo.jp
でやった日付呼び出しの例を考えてみます。
これが
$ awk 'BEGIN {the_time = strftime("%y%m%d%H%M%S"); print the_time}'
こうなります
$ awk "BEGIN {print strftime(\"%y%m%d%H%M%S\")}"
参考もと
- man awk
shuzo-kino.hateblo.jp
でやった日付呼び出しの例を考えてみます。
これが
$ awk 'BEGIN {the_time = strftime("%y%m%d%H%M%S"); print the_time}'
こうなります
$ awk "BEGIN {print strftime(\"%y%m%d%H%M%S\")}"