Shell 编程:如何从每一行的开头剪切到粘贴到行尾?

Shell programming: how to cut from each line's head to paste to line end?

例如,我有一个build.log文件,每一行是这样的:

[2017-02-13 16:37:41.123456] [warning]  [1743]  [mysource/impl.cpp:25] Syntax warning ...

我需要将它的格式转换成这样:

[warning]  [1743]  [mysource/impl.cpp:25] Syntax warning ...[2017-02-13 16:37:41.123456]

所以我的问题是,如何剪切第一个 [] 中的前导时间戳并粘贴到行尾?

如何实现 bash/sed/awk(无论如何)?谢谢

试试这样的东西:

echo "[2017-02-13 16:37:41.123456] [warning]  [1743]  [mysource/impl.cpp:25] Syntax warning " | awk -F" " '{for(i=3;i<=NF;++i)printf ("%s ", $i); printf("%s %s\n", , )}'