Linux中.rc脚本文件
在Linux中,最为常用的缩略语“rc”,它是名词“run command”(运行命令)的简写。
rc”是任何脚本类文件的后缀,这些脚本通常在程序的启动阶段被调用,通常是Linux系统启动时。如/etc/rs是Linux启动的主脚本,而.bashrc是当Linux的bash shell启动后所运行的脚本。
.bashrc的前缀“.”是一个命名标准,它被设计用来在用户文件中隐藏那些用户指定的特殊文件;“ls”命令默认情况下不会列出此类文件,“rm”默认情况下也不会删除它们。许多程序在启动时,都需要 “rc”后缀的初始文件或配置文件。
abc调用脚本执行程序
注:可执行文件abc和脚本文件abc.rc必须在同一目录下,否则abc无法识别脚本中命令;
举例1(abc调用脚本命令,命令流):读入aig文件——read_aiger;优化aig——resyn2;将aig转为cnf——write_cnf;
注意:abc不同执行命令之间用于分号间隔;
举例2(also):help命令
举例3(also):查看xmgrw命令的使用
补充:abc.rc文件,可以查看脚本文件中命令;