On Tue, Jan 21, 2014 at 08:58:32PM +0100, Alexander Kobel wrote: > On 01/21/2014 08:27 PM, David Kastrup wrote: > > Jim Long <lilyp...@umpquanet.com> writes: > > > >> I'd like to use a > >> grep/awk/whatever command pipe to determine the paper size of > >> certain PDF files. > > > > pdfinfo is a good bet. > > +1.
Thank you both. pdfinfo does what I need. Jim $ for f in *.pdf; do pdfinfo $f 2>/dev/null |tee $f.size | grep -w '^Page size:'; done | sort |uniq -c 1 Page size: 595 x 842 pts (A4) 10 Page size: 595.276 x 841.89 pts (A4) 1 Page size: 595.279 x 841.888 pts (A4) 150 Page size: 595.28 x 841.89 pts (A4) 1 Page size: 611.999 x 791.998 pts (letter) 150 Page size: 612 x 792 pts (letter) _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-user