2023-11-26 21:04:58 +01:00
|
|
|
#!/usr/bin/env nix-shell
|
|
|
|
#! nix-shell -i bash --pure
|
|
|
|
#! nix-shell -p bash pdftk gnugrep gawk
|
2018-04-15 16:29:27 +02:00
|
|
|
|
|
|
|
# From https://stackoverflow.com/a/14736593
|
2018-11-24 13:45:14 +01:00
|
|
|
for FILE in "$@"
|
2018-10-25 22:35:02 +02:00
|
|
|
do
|
|
|
|
printf "$FILE: "
|
|
|
|
pdftk "$FILE" dump_data | grep NumberOfPages | awk '{print $2}'
|
|
|
|
done
|