在linux下，如果有一个文件夹，下面有好几个文件。每个文件如 abc.csv这种格式。我想一个个处理文件，并且取得前缀abc,生成新文件abc.text.
代码如下。注意我这里采用的是把*.cnf 处理成*.csv
featureSAT12 是我需要调用的程序，在DIMACS上一个文件夹。
#!/bin/bash
PATH="DIMACS" //最好使用绝对路径
cd $PATH
for i in *.cnf
do
./../featureSAT12 ${i%%.*}.cnf ../DIMACSresult/${i%%.*}.csv
done
exit这样就处理完了~~shell果然很方便哦！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
如需转载请保留出处：https://bianchenghao.cn/hz/146014.html