bash - 在 bash 脚本中使用多字符定界符

Question

我有一个文本文件，其中的数据格式为:

Number of Iterations: 150
Average time is 45 ms
Average time for collisions is 50 ms
Total time is 95 ms
....

有多个此类文件。我必须阅读所有这些文件并制作一个 csv 文件，其中将包含以下形式的条目:

150,45,50,95
200,40,60,100 
...
...

每一行对应一个txt文件。
我正在编写一个 bash 脚本来从这些数据生成 CSV 文件。
我只想读取文本文件中的数字。
对于第一行，我尝试使用

    IFS =": " read w1 w2

但是它通过使用空格和':'作为分隔符来分割行
当我使用

    IFS=":" 

在我不想要的 150 前面打印了一个额外的空间。
我该怎么做呢？
同样在第二行中，我想使用“is”作为分隔符。允许吗？
谢谢

Answer 1

你可以使用这个 awk:

cat file
Number of Iterations: 150
Average time is 45 ms
Average time for collisions is 50 ms
Total time is 95 ms
Number of Iterations: 200
Average time is 40 ms
Average time for collisions is 60 ms
Total time is 100 ms

awk '/^Total/{p=1} {gsub(/[^0-9]+/, ""); a[++i]=$0}
     p{print a[1], a[2], a[3], a[4]; p=0; delete a; i=0}' OFS=, file
150,45,50,95
200,40,60,100