To import a folder full of .pdfs into arXiv-fetcher, run the command for i in *.pdf; do echo -n "$i: "; pdftotext "$i" - | grep -m 1 ^arXiv:; done to extract the (likely) arxiv identifiers, then copy the output and click the 'Paste' button.
To import a folder full of .pdfs into arXiv-fetcher, run the command for i in *.pdf; do echo -n "$i: "; pdftotext "$i" - | grep -m 1 ^arXiv:; done to extract the (likely) arxiv identifiers, then copy the output and click the 'Paste' button.