awk - awk 整数をいくつかの部分に分割

Question

私はこの整数を持っており、awk でさらに使用するため20120305193821にいくつかの部分に分割したいと考えています。2012-03-05-19:38:21誰でも助けることができますか？

Answer 1

gawk を使用している場合は、FIELDWIDTHS を使用できます。

echo 20120305193821 | gawk '{printf "%s-%s-%s-%s:%s:%s\n",
      $1, $2, $3, $4, $5, $6}' FIELDWIDTHS="4 2 2 2 2 2"

Answer 2

私はあなたがきれいにタグ付けしていないことを知っているsedので、参考のためにここに投稿してください -

$ echo 20120305193821 | sed 's/\(....\)\(..\)\(..\)\(..\)\(..\)\(..\)/\1-\2-\3-\4:\5:\6/'
2012-03-05-19:38:21

Answer 3

部分文字列を使用しないのはなぜですか? 書くのは退屈ですが、あなたが示唆しているように、インデックスはありますか?

echo "20120305193821" | awk '{printf "%s-%s-%s-%s:%s:%s\n",substr($1,1,4),substr($1,5,2),substr($1,7,2),substr($1,9,2),substr($1,11,2),substr($1,13,2)}'

出力：

2012-03-05-19:38:21