pdfファイルを直接grepできるpdfgrep 2025-12-052025-12-05 matoken コメントをするTerminal Trove でpdfgrep というツールを知ったので試してみました． pdfgrep / pdfgrep · GitLab pdfgrep – A command line utility to search text in PDF files. – Terminal Trove pdfgrep 続きを読む