顾名思义,pdfgrep 是一个可以在不打开文件的情况下搜索 PDF 中的文本的小命令行程序。它非常快速 —— 比几乎所有 PDF 浏览器提供的搜索更快。
2018-01-18 13:18 Bruno Edoh, geekpi
分享到微信
打开微信,点击顶部的“╋”, 使用“扫一扫”将网页分享至微信。