Heroius' Ideas

摘要： 在WinEdt中，提供了批量清除生成文件的方法，即在菜单“Tools”中的“Erase Output Files”，或者在工具栏的垃圾桶图标。 默认情况下，支持清除主PDF、log、aux、toc、out、bak等后缀文件。 当需要时，例如要删除使用 minted 生成的 pygment 临时文件（ 阅读全文