WinEdt 添加清理文件项
在WinEdt中,提供了批量清除生成文件的方法,即在菜单“Tools”中的“Erase Output Files”,或者在工具栏的垃圾桶图标。
默认情况下,支持清除主PDF、log、aux、toc、out、bak等后缀文件。
当需要时,例如要删除使用 minted 生成的 pygment 临时文件(后缀为 pyg),也可通过下述方法添加新的删除项:
- 在WinEdt安装位置(默认安装位置在 C:\Program Files\WinEdt Team\WinEdt 10 ),找到 Exec 文件夹下的 Erase Working Files.edt 文件;
- 使用管理员权限运行文本编辑器编辑此文件,添加指定文件项。例如 AddFileItem(1,"PYG Files","*.pyg","")。
其中Erase Working Files.edt为宏文件,每次执行Erase Output Files界面操作时,会执行此宏命令。