I've been using Ali G. Rudi's pdftxt with my own shell wrappers. From the homepage: "uses mupdf to extract text from pdf files; prefixes each line with its page

I've been using Ali G. Rudi's pdftxt with my own shell wrappers. From the homepage: "uses mupdf to extract text from pdf files; prefixes each line with its page number for searching." Usually I 1) pdftxt a file and 2) based on the results, jump to a desired page in Rudi's framebuffer PDF reader, fbpdf. For this, the page number prefix in pdftxt is a particularly nice default. No temptations with too many command line options either. https://litcave.rudi.ir/pdftxt-0.7.tar.gz https://litcave.rudi.ir/pdftxt-0.7.tar.gz