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界面操作时,会执行此宏命令。
分类:
TeX
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 提示词工程——AI应用必不可少的技术
· 地球OL攻略 —— 某应届生求职总结
· 字符编码:从基础到乱码解决
· SpringCloud带你走进微服务的世界
2014-06-22 ArcGIS 10.1 BUG记录
2013-06-22 三妹,我拆了你的本-- Day One(大图赏)