小编use*_*682的帖子

我想将以下字符串（20140805234656）转换为日期时间戳（2014-08-05 23:46:56）。我是 gawk 的新手，我不知道确切的语法，我该如何放置-每 5 个， 8 和:在每 14,17 处，并在 11 索引处放置“”。有没有什么有效的方法可以在 awk 中实现这一点？

编辑

请注意，我在 awk 中将字符串作为变量。我在某些记录处理过程中生成了它。