Linux和Windows下的批处理文件编写

本文详细介绍了在Linux和Windows环境下如何编写批处理文件,包括创建、编辑和执行批处理脚本的具体步骤,适用于需要批量处理文件的场景。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一、Linux下批处理文件编写

1.先建一个文档,如名为test,修改其文件权限使其为可执行文件。

sudo  chmod  +x  test

2.打开test文档,编辑。

cd  绝对路径

for  i  in  *.cnf;  do  ./zchaff  $i  >> 求解结果所放路径下的sol.txt文档; done

3.执行

./test

 

二、Windows下批处理文件编写

1.生成.bat文件

先建一个.txt文档,打开->另存为->选所有文件->一定默认编码ANSI->文件名为sol.bat->保存

2.右键编辑生成的bat文件

@echo off
for  %%i  in  (*.cnf)  do  zchaff.exe  %%i
call  "sol.bat" >> 解集.txt

3.执行

双击sol.bat文件。

 

三、说明

以上zchaff求解器和cnf公式放在同一文件夹下。

参考:

https://blog.youkuaiyun.com/lw20090801/article/details/44496295

https://blog.youkuaiyun.com/yelangjueqi/article/details/60575658

https://blog.youkuaiyun.com/u013514928/article/details/79629937

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值