Es gibt einen Terminalbefehl 'pdfinfo aa.pdf', der Informationen einschließlich der Seitenzahl der Datei aa.pdf ausgibt. Sie sollten dies im Stapelmodus ausführen können, wobei die Ausgabe in eine Datei geleitet wird. Sie können dann grep, awk oder sed verwenden, um das Wort "pages" aus der Datei zu extrahieren und eine Tabelle mit der Anzahl der Seiten in jeder Datei zu erhalten.
Sie können auch eine oder mehrere Dateien auf das Terminal ziehen, um diese im Stapelmodus auszuführen.