WinEdt 添加清理文件项

在WinEdt中,提供了批量清除生成文件的方法,即在菜单“Tools”中的“Erase Output Files”,或者在工具栏的垃圾桶图标。

默认情况下,支持清除主PDF、log、aux、toc、out、bak等后缀文件。

当需要时,例如要删除使用 minted 生成的 pygment 临时文件(后缀为 pyg),也可通过下述方法添加新的删除项:

  1. 在WinEdt安装位置(默认安装位置在 C:\Program Files\WinEdt Team\WinEdt 10 ),找到 Exec 文件夹下的 Erase Working Files.edt 文件;
  2. 使用管理员权限运行文本编辑器编辑此文件,添加指定文件项。例如 AddFileItem(1,"PYG Files","*.pyg","")。

其中Erase Working Files.edt为宏文件,每次执行Erase Output Files界面操作时,会执行此宏命令。

 

posted @ 2022-06-22 23:58  崩溃侠  阅读(279)  评论(0编辑  收藏  举报
友情链接: Heroius' Ideas 沈阳因斯福环保安全科技有限公司 东北大学工业爆炸防护研究所