使用 shell 脚本从一个文件复制文本并粘贴到另一个文件中

Question

我想从一个文本文件中复制特定行中的数字并将该数字粘贴到其他文本文件中，如何使用 shell 脚本执行此操作。例如在 file1 中我有一行

总时间：2.3456。

我想复制 2.3456 并粘贴到另一个文件中。该行的行号并不总是相同。

Answer 1

尝试

 awk '/Total Time/ {print $3} ' source_file > dest_file

• 你可以使用>>附加

如果总时间有很多行，您可以使用缩小范围

awk '$1 == "Total" && $2 == "Time:"  {print $3}  ' source_file > dest_file