View Single Post
Old 09-26-2008, 05:17 AM   #8
-Thomas-
Addict
-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.-Thomas- once ate a cherry pie in a record 7 seconds.
 
-Thomas-'s Avatar
 
Posts: 325
Karma: 1725
Join Date: Dec 2007
Location: Münster, Germany
Device: iRex iLiad v2
Quote:
Originally Posted by Martijn View Post
Note: I haven't tested this yet.
The script works fine, but only if you don't have white spaces in your filenames. I've made some small changes, and now it works:
Code:
#!/bin/bash
for i in "$@"; do
  c=`pdffonts "$i" | grep -c "Type 3" `
  if [ $c -ne 0 ]; then
    echo $i
  fi
done
This lists all PDFs with Type3 fonts:
Code:
$ check.sh *.pdf
-Thomas- is offline   Reply With Quote