Advertisement
Guest User

Untitled

a guest
May 6th, 2016
52
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.21 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. if [ "$#" -ne 1 ] || ! [ -e "$1" ]; then
  4. echo "Usage: $0 FILE
  5. exit 1
  6. fi
  7.  
  8. hash pdftotext 2> /dev/null || { echo "pdftotext required"; exit 1; }
  9. F=$(mktemp)
  10. pdftotext $1 "$F"
  11. cat $F
  12. rm -f "$F"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement