Bit of a tangent, but does anyone know of a service where I can copy in a pdf url and get a rough approximation of the content as plain text html?
$ curl http://www.nickbostrom.com/extraterrestrial.pdf | pdftotext - -
Don't forget the two dashes, as it doesn't default to reading stdin, and doesn't default to writing to stdout when instructed to read from stdin.Also, pdftotext is part of poppler in Arch and poppler-utils in Debian.
Thanks anyway, though.
I'm really paranoid about loading unfamiliar websites up (I've got a version of Chrome with js and plugins disabled that I use for random links), and pdfs are still a bit of a concern as an attack vector. It looks like this viewtext.org will come in handy.
</tangent>
- - -
This is nice:https://docs.google.com/viewer
Example using this PDF:
https://docs.google.com/viewer?url=http://www.nickbostrom.co...
Clean, light, and doesn't require a GA login.