命令，用于具有不同扩展的多输入和多输出。

Question

我在Linux机器上使用grep、sed和cut命令执行一些操作：

zgrep -A1 "^module" *.v.gz | sed -n -e 's/^\(module \)*\(.*(.*)\).*$/\2/p' | cut -f1 -d"("

这是在文件扩展名为.v.gz的文件上运行的，我希望输出文件具有.txt扩展名。

例如，输入文件名：

abcd.v.gz
efgh.v.gz
ijkl.v.gz
mnop.v.gz

输出文件名

abcd.txt
efgh.txt
ijkl.txt
mnop.txt

因此，我希望保留相同的文件名前缀，但更改扩展名。对于任意数量的文件，我如何做到这一点？

我不是在找shell原语

Answer 1

使用for循环处理每个文件

for f in *.v.gz
do
    zgrep -A1 "^module" "$f" | 
    sed -n -e 's/^\(module \)*\(.*(.*)\).*$/\2/p' |
    cut -f1 -d"(" > "${f%.v.gz}.txt"
done

我对sed程序有点怀疑，我猜你想要

sed -n -e 's/^module *\([^(]*\).*$/\1/p'

然后你就根本不需要割伤了。