想要使用Gawk Bash添加游戏机输出的时刻毫秒

Question

我正在使用以下片段将时间戳添加到控制台输出中

command | gawk '{ print strftime("[%Y-%m-%d %H:%M:%S]"), $0 }'  

如何向其添加毫秒？

Answer 1

为什么不一个简单的bash解决方案？您可以使用date命令读取每行，并在时间戳记中进行预示例，例如

command | while read -r line; do printf "%s %s\n" "$(date +'%F %T.%03N')" "$line"; done

使用/输出

示例

$ cat dat/captnjack.txt
This is a tale
Of Captain Jack Sparrow
A Pirate So Brave
On the Seven Seas.

timestamped output ：（

$ cat dat/captnjack.txt | 
while read line; do printf "%s %s\n" "$(date +'%F %T.%03N')" "$line"; done
2022-06-24 00:45:28.030 This is a tale
2022-06-24 00:45:28.031 Of Captain Jack Sparrow
2022-06-24 00:45:28.033 A Pirate So Brave
2022-06-24 00:45:28.035 On the Seven Seas.

注：谢谢您@jhnc for GNU date ％03N specifier）

带有bash您还可以使用 process替换来喂食时间戳循环，例如

while read -r line; do 
  printf "%s %s\n" "$(date +'%F %T.%03N')" "$line"
done < <(command)

Answer 2

返回原始日期想法：

 echo -ne "[$( date '+%Y-%m-%d %H:%M:%S,%3N')] "; command

Answer 3

@RoHit：除非我缺少gawk手册中的东西，否则我看不到它，除非您要使用gawk Extension time。否则，这就是我为我的各种awk s获得microsecs的方式：

 {m,g}awk '{ OFMT="%.15f"

   print substr("",(__="gdate +\47%s.%N\47" \         # gnu-date
                    )|getline _,    close(__)) +_ }' 

   1656047978.467053890228271

• 它只有53位的精度（或52，取决于您的身份询问隐含的位），所以这些额外的小数点仅仅是错觉

• “ substr（） “这里既不输出任何东西，也不影响返回的内容。它的唯一功能是充当各种临时分期

|

 ( I use substr() encapsulations as a generic way to 
   swap values between 2 variables w/o

     using a temp var, 
     an external function call, or 
     bit-wise XOR techniques (awk specs intentionally dont offer it)

   in a sense, it kinda gives a sorta similar,
   but certainly not identical,
   feel to more modern languages returning tuples)
  

也就是说，如果您不受仅限gawk的要求，我知道awk的1个变体提供了MilliSec Times而不会外部的时间：

 mawk2 '{ print substr("",srand(),srand()) srand() }'

 #srand1656049345.921576#