我有一个仅包含科学格式的数值的文件。我想将它们转换为通用符号并将它们乘以 1000。例如
输入.txt
1.1234e-01
2.123e+01
3.12345e-02
...
...
输出.txt
112.34
21230
31.2345
...
...
我有很多这样的文件来执行任务(一次一个文件),因此命令行单行解决方案是更好的选择。
答案1
你可以尝试这个小 awk 脚本:
#!/bin/awk
{ printf "%f\n", 1000*$0 }
这相当简洁,但可能会产生不必要的尾随零。